情報統合思念体への手紙

16号廃墟へ向かう道

直観主義の公理

 P,Q:センテンス

とする.このとき

前述の通りPと¬Pは両立することができないので

 排中律P∨¬P

は不成立である.