定义自然数n的一条性质“如果n是正自然数，那么n必然存在唯一前元素”，由于0不是正数，所以这条性质对0是成立的，这就是附录部分数理逻辑第二节讲到的vacuously TRUE ，“虚假前件蕴含任何后件”。我在置顶贴里已经说了，必须要先看附录的数理逻辑部分

顶。小尾巴小尾巴小尾巴小尾巴小尾巴(･ิϖ･ิ)っ

问一下你的是哪一版的？我的版本中这道题印刷错了。

可以证明吧，还要用到其他的（先于此引理的）引理证明。我就用到了n++=n+1这一条

提供另一种思路
构建关于自然数n的命题如下：
Q(n)：n=0 or ( n ~= 0 & 存在p, p++ = n )
对上述命题进行归纳。
再证唯一性。