自己認識論理
◻ x → x {\displaystyle \Box x\rightarrow x} は ¬ ◻ x ∨ x {\displaystyle \neg \Box x\vee x} と等価であり、 ¬ ◻ x {\displaystyle \neg \Box x} は真とされているので、 T {\displaystyle T} は(仮定が成り立つ限り)恒に真である。従って x {\displaystyle x} は内含されない。 ◻ x {\displaystyle \Box x} が偽ということは x {\displaystyle x} は既知ではないので、この結論が暗に裏付けられる。従って、 ◻ x {\displaystyle \Box x} が偽であるという前提は展開である。