目次
第１章 証明の形式化（命題の形式化；証明の形式化、ＬＫについて ほか）
第２章 自然数論の無矛盾性の証明（自然数論の公理系；無矛盾性の証明の準備 ほか）
第３章 自然数論の無矛盾性：Ｇ¨ｏｄｅｌの考察（自然数論の、直観主義的自然数論（ＨＡ）への翻訳
計算可能なｆｕｎｃｔｉｏｎａｌ ほか）
第４章 二階論理（二階論理の意味と問題；二階論理の基礎 ほか）
第５章 最近の話題（序論、第１章、第２章についての追加；哲学と数学基礎論）
著者等紹介
竹内外史［タケウチガイシ］
元イリノイ大学教授・理学博士
八杉満利子［ヤスギマリコ］
元京都産業大学教授・理学博士（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
