Gödel’s Completeness Theorem
摘要
Using the ideas of Henkin, Gödel’s Completeness Theorem is proved, showing that our proof system completely captures the notion of logical consequence.