俺的读音:关于0不是自然数的佐证

来源:百度文库 编辑:查人人中国名人网 时间:2024/05/01 03:26:10
谁能推倒下面的定理:皮亚诺定理: 1.1是自然数; 2.每个自然数都有一个后继数。这个后继数也是自然数;如1的后继数是2,2的后继数是3…… 3.如果两个自然数不同,那么它们的后继数也不相同; 4.1不能作为任何自然数的后继数; 5.如果集合S满足下述两个条件: ①1在集合S中; ②若自然数n在集合S中,则它的后继数也一定在集合S中;那么集合S就含有全部的自然数。

这是真命题,怎么还要推倒?
该命题是数学归纳法的理论基础。

好 难 快晕了

0若是自然数的话,则它的后继数是1,但1不能是任何自然数的后继数,所以0不是自然数。(按照给出的定理,是这样推得,可是和之前的认识相反。??)