>>168
あなたが何に疑問を抱いているか、いまひとつわからないけれども、次の事実はご存知ですか？

パースの論理式と呼ばれる
((A→B)→A)→A
はトートロジーであるが、直観主義論理では証明できない。
（A,Bは異なる命題変数）