哥德尔定理的正规表述

    1931年，25岁的“小毛头”哥德尔证明了一条定理如下：

“Any robust mathematical system contains statements that are true yet unprovable within the system.”

哥德尔定理的意思是说：“任何强壮的数学系统必定包含一个真的陈述句，然而，在该系统中，这个陈述句却是不可证明的。”

记得，在1979年，中科院计算所举行哥德尔去世一周年纪念活动，计算所杨东屏研究员报告了哥德尔的生平与科学成就，并且简要介绍了哥德尔定理的证明方法（即哥德尔首创是命题编码方法）。

我应邀与会参加纪念活动。同时在会上作了发言，主题是：利用超滤器（Ultrafilter）构建超实数的新途径。这涉及到模型论的范围。

袁萌  10月23日