Home / Glossary / Closed world assumption

The closed world assumption is the assumption that if something is not provable, then it is false.