名辞論理学とは主語を決めて述べる論理学である．そして，このような主部といかなる述部とで構成される文を直観主義論理文と呼ぶ． 例 私は［任意文］

とする．このとき 前述の通りPと￢Pは両立することができないので は不成立である．

という表示はであるので，たとえば数個のとり方に依存する各判断は各々決められる．

前述の単射が無いという記事の通り，は表示できない．したがってフェルマーの最終定理は存在しない．

とする． と置くとこのような表示はできない．なぜなら，Pは肯定文，Qは否定文であるから両者を両方用いることはできないからである．一般に，とを両方用いることができないことからわかる．というのも に対して と表示することができない．それは，両者をと…