閉世界仮説

閉世界仮説（へいせかいかせつ、英: Closed world assumption）は、現時点で真であると判明していないことは偽であると仮定することを意味する。論理学では、Raymond Reither が閉世界仮説を形式化した。