さて、難しいことを書く前に、馴染みやすいところから数理論理学に入っていこう。一般に、真偽を問うことのできる形式 (文や式) を命題という。　ある命題が正しいとき、その命題は真であるといい、正しくないとき、その命題は偽であるという。たとえば、次の命題(A)は真、(B)は偽である。

　僕は、高校数学で学んだどの分野よりも、集合と命題が好きだった。異彩を放っていた。　数学の一分野であるのに教科書のページには数字が少なく、代わりに ”集合” ”要素” ”命題” ”証明” といった言葉が並んでいた。そして、それらの言葉は、僕が中学の時に高校数学に期待したイメージそ...