閉世界仮説
閉世界仮説（へいせかいかせつ、）は、現時点で真であると判明していないことは偽であると仮定することを意味する。論理学では、Raymond Reither が閉世界仮説を形式化した。閉世界仮説の逆を開世界仮説（Open world assumption）と呼び、知識の欠如を偽とは見なさない。