重要工作

[关于文章题目的说明：为了准确地介绍哥德尔的重要工作“关于PM及相关系统的形式不可判定命题(OnformallyundecidablepropositionsofPrincipiaMathematicaandrelatedsystems)”的内容和恰当地（亦即，非夸大地）说明其重要意义，笔者曾经在科学网博客和本公众号上已经发表过几篇科普文章，但是总觉得采用的题目不是很贴切。

严格地说，“哥德尔不完全性定理”这样的称呼是多少有些问题的，也是造成对哥德尔的重要工作有众多误解误用的原因之一。

所谓“不完全性定理”，是其他人在哥德尔的重要工作发表之后对其两个定理的称呼。