阿尔弗雷德·塔斯基(Alfred Tarski),他在1948年就证明了,如果是一个封闭的实数系统,那它就有可能是完备的,也是自洽的。
万维钢
新知特约撰稿人

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