### We live in a closed world

In mathematical logic, the closed-world assumption is used to deal with ‘things’ which you are uncertain about. If you don’t have a statement which is clearly defining the ‘thing’ to be true — it is false, even though maybe it is generally known that it is true.