ケーニヒの補題

ゲーデルと２０世紀の論理学　２　完全性定理とモデル理論