命題論理に必要な公理シェーマと推論規則の数

今回は論理学について、比較的シンプルな話題です。

命題論理に必要な公理シェーマと推論規則の数について、

少なければ少ないほどいい、という立場で論ずるならば、

最終的な回答は、旧ソ連の論理学者、ルカシュビッツによって与えられています。

つまり、

公理シェーマ 1個、推論規則 1個。

です。

定式化には、NAND の記号を使います。

文責: Dr. 加藤木 一好