哥德尔的主要贡献

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