好书网为大家整理了经典好书《哥德尔证明》中的经典语录,精彩段落及优美句子,重读经典,感悟人生。让读者沉浸在自己的阅读世界里,忘记周围的世界, 与作者一起在另外一个世界里快乐、悲伤、愤怒、平和,欢迎大家阅读~
很明显,除非忍受循环或无穷倒退之苦,总是有一些指称算术属性的词汇是无法明确定义的——因为我们不能定义所有的东西,而必须从某处出发——尽管这些词汇仍可能以某种其他方式被理解。
数学家们构建的形式系统,属于标着“数学”这个名称的文档;而对这个系统的描述、讨论和推测,属于标着“元数学”这个名称的文档。