完全性定理の2つの証明 ― ゲーデル流とヘンキン流
一階述語論理の完全性定理を、ゲーデルによる元の証明（1929–1930年）と、今日の教科書の標準であるヘンキンの証明（1949年）の2つの道筋で解説します。どちらも「記号からモデルを作る」点は同じですが、足場の置き方が大きく異なります。
「論理学」の記事 2 件
一階述語論理の完全性定理を、ゲーデルによる元の証明（1929–1930年）と、今日の教科書の標準であるヘンキンの証明（1949年）の2つの道筋で解説します。どちらも「記号からモデルを作る」点は同じですが、足場の置き方が大きく異なります。
不完全性定理と真理の定義不可能性定理を軸に、20世紀の数理論理学の流れを年表で整理します。