↑名称不明

に聞いたら、「classical worlds」「maximal worlds」「complete worlds」とかちゃう？と言われた

自分自身にしか到達できない世界w_fを考える

こういった世界では、直観主義論理の→と古典論理の含意は一致する

そのため、排中律も二重否定除去も成り立つ

この書籍内では「終末の世界」とか呼んでた