証明論入門

竹内外史, 八杉満利子 共著

[目次]

• 第1章 証明の形式化(命題の形式化
• LKの基本定理)
• 第2章 自然数論の無矛盾性の証明(自然数論の公理系
• 無矛盾性の証明の準備)
• 第3章 自然数論の無矛盾性-G¨odelの考察(自然数論の、直観主義的自然数論〔HA〕への翻訳
• 種々な理論の間の相互関係)
• 第4章 二階論理(二階論理の意味と問題
• 実数論の無矛盾性問題
• 二階の体系の証明論)
• 第5章 最近の話題

「BOOKデータベース」より