証明論入門

竹内 外史/八杉 満利子【共著】

共立出版（1988/02発売）

• サイズ A5判／ページ数 191p／高さ 22X16cm
• 商品コード 9784320014060
• NDC分類 410.9

目次

第１章　証明の形式化（命題の形式化；ＬＫの基本定理）
第２章　自然数論の無矛盾性の証明（自然数論の公理系；無矛盾性の証明の準備）
第３章　自然数論の無矛盾性―Ｇ¨ｏｄｅｌの考察（自然数論の、直観主義的自然数論〔ＨＡ〕への翻訳；種々な理論の間の相互関係）
第４章　二階論理（二階論理の意味と問題；実数論の無矛盾性問題；二階の体系の証明論）
第５章　最近の話題