“哥德尔不完备性定理”说,只要自然数的公理系统只有有限条公理,那么就一定存在一些命题,你既不能用这些公理证明它是对的,也不能判断它是错的。也就是自然数的公理系统是不完备的。
万维钢
新知特约撰稿人

万维钢笔名同人于野,1999年毕业于中国科学技术大学,现为美国科罗拉多大学物理系研究员。是“学而时嘻之”博主。博文介绍为“用理工科思维理解世界”,喜欢科学和政治,作品以理性思维见长。