该定理与塔尔斯基的形式语言的真理论，图灵机和判定问题，被赞誉为现代逻辑科学在哲学方面的三大成果。
https://baike.baidu.com/item/哥德尔不完全性定理/4116640?fr=aladdin
现代逻辑科学的三大成果
原文：https://www.cnblogs.com/feng9exe/p/10609729.html
