现代逻辑科学的三大成果

该定理与塔尔斯基的形式语言的真理论，图灵机和判定问题，被赞誉为现代逻辑科学在哲学方面的三大成果。

https://baike.baidu.com/item/哥德尔不完全性定理/4116640?fr=aladdin