6章 述語計算の完全性 話を少し戻して、述語論理における対象の変域が有限個と可算無限個の場合では、無矛盾性の議論に違いがあることを指摘。加算無限個の場合では、直観主義で排除されている手法を利用している。これを認めるような述語論理を集合論的述語…

5章 述語計算の無矛盾性 今度は述語計算。統語論を定め、推論規則を3つ(MP, GEN, SPEC)提示し、命題論理の公理系11こを引き継ぎ、新たに4つの公理を追加する。 真理値の付与は命題論理の場合よりやや複雑になる。すなわち命題の真理値は、述語関数の意味と、…