証明論入門

共立出版
竹内外史　八杉満利子　

• 価格: 3,080円（本体2,800円＋税）
• 発行年月: 1988年02月
• 判型: Ａ５
• ISBN: 9784320014060

内容情報

[BOOKデータベースより]

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