ゲーデルの最初の大きい結果はゲーデルの完全性定理(completeness theorem)というものだそうです。ぶっちゃけていえば、ある論理式の集合Γを満たす全てのモデルである論理式φが成り立つのならば、Γからφが証明できるというものだそうです。ヒルベルトが形式…