小时候，我们知道负数是小于零的数。
在数轴上，负数位于零点的左侧，然后我们就开始一通乱算了，比如加减乘除，当然我们只说加法和乘法，这是我们接下来用到的工具，毕竟减法和除法是它们的逆运算。
接下来就是有点复杂的东西了。我们从罗素悖论开始：
如果有不存在的集合，那么有没有集合的不存在性，如果有，那为什么有不存在的集合，也就是为什么不存在这一个仅属于集合的特性为何包含在集合内；如果没有，那么集合怎么能包含不存在。所以只能说有但无法证明不存在的集合。
OK，回顾了罗素悖论后，我们其实发现这样一个无限递归的过程可以用计数来表示，比如1，2，3......当然我们不可能说-1，-2，-3来表示，如果可以那也是按照正数的形式来表示的。所以负数真正的功能是什么？当然复数也包含在内。
正解就是负数具有先验性，这种先验性应用到人类的思考过程是相当强大的。
我们可以看一看刚刚的计数，1，2，3可以是无限递归的计数，也可以是无限递归的无限递归的计数，我们怎么来表示？
学过集合论的应该知道它可以2^阿列夫零，2^2^阿列夫零，2^2^2^阿列夫零。但是用阿列夫零它的应用范围太有限了，只能用于一一对应，那我们能不能用一个更加简单的方法表示呢？我想大家已经知道了，它就是负数，这就是负数的先验性。
在数轴上，负数位于零点的左侧，然后我们就开始一通乱算了，比如加减乘除，当然我们只说加法和乘法，这是我们接下来用到的工具，毕竟减法和除法是它们的逆运算。
接下来就是有点复杂的东西了。我们从罗素悖论开始：
如果有不存在的集合，那么有没有集合的不存在性，如果有，那为什么有不存在的集合，也就是为什么不存在这一个仅属于集合的特性为何包含在集合内；如果没有，那么集合怎么能包含不存在。所以只能说有但无法证明不存在的集合。
OK，回顾了罗素悖论后，我们其实发现这样一个无限递归的过程可以用计数来表示，比如1，2，3......当然我们不可能说-1，-2，-3来表示，如果可以那也是按照正数的形式来表示的。所以负数真正的功能是什么？当然复数也包含在内。
正解就是负数具有先验性，这种先验性应用到人类的思考过程是相当强大的。
我们可以看一看刚刚的计数，1，2，3可以是无限递归的计数，也可以是无限递归的无限递归的计数，我们怎么来表示？
学过集合论的应该知道它可以2^阿列夫零，2^2^阿列夫零，2^2^2^阿列夫零。但是用阿列夫零它的应用范围太有限了，只能用于一一对应，那我们能不能用一个更加简单的方法表示呢？我想大家已经知道了，它就是负数，这就是负数的先验性。
