哥德尔的主要贡献

相容语句集合必有模型：哥德尔完全性定理。
如果每一个有限语句集合的子集合有模型，则该语句聚合存在模型：紧致性定理。
哥德尔完全与性定理与紧·致性定理相互等价。
这是哥德尔的主要数学贡献之一。
袁萌 陈启清 6月29日