自然数等于正整数以及0

1529 2021-06-02 09:25

自然数在数学上有很多种定义方式。

好像还没有答主讲皮亚诺公理，在这里我来讲一下吧。与依赖于集合论的定义方式不同，皮亚诺公理

最初是不依赖集合论的。这样题主如果没接触集合论的情况下就能对自然数的一些基本性质有所了解。不过这两种定义方式在结果上没什么不同，前面答主提到的定义方式是能推出皮亚诺公理。

在说公理之前，首先要提到的是这是一个描述性而不是构造性的公理系统，即是我们假定自然数已经存在，但是什么样的我们还不知道，这些公理描述了自然数的一些基本性质。

博客