数学の証明を形式化する手法

推論規則と公理からゴニョゴニョする

演繹体系ごとに個別の公理が用意されているんやな

証明可能性を論ずる体系

健全性と完全性の性質を持つのが理想

例

『論理学をつくる』9章で紹介されているもの