如何证明自然数的存在？

胖达按，还是知乎回答。

此文和上篇有关意识自由的文一起，作为胖达阅读金观涛《消失的真实》的产物，或者说笔记也可以。

以下正文。

自然数是受控实验普遍可重复及其无限扩张的符号表达。

受控实验普遍可重复为真即为科学经验真实，普遍可重复的受控实验通过自我迭代和组织的扩张就是科学经验真实的扩张。其符号表达正好是自然数。

皮亚诺给出自然数的严格定义为具有如下结构的集合：首先该集合的任何一个元素都可规定一个后继元素，它和已经给出的元素不同；其次数学归纳法有效，即如果一命题对其中某一元素成立，并对其后继元素亦成立，那么该命题普遍成立。

定义自然数集合的后继关系正是做过一次控制实验后，一定可以有下一次。数学归纳法有效对应如果第n次受控实验成立，则第n+1次实验亦成立，并由此推出对所有该受控实验都成立。自然数是这种程序的符号表达。

因此自然数的真实性既不是逻辑自洽，也不是经验的真实性，而在于它表达了受控实验普遍可重复和无限扩张这一结构，也就是说数学符号真实和科学经验真实同构，这就是康德猜想。