皮亚诺公理第5条

天元酱菜院

皮亚诺公理第5条，是说若某命题如果0被证明为真， 且在a对该命题为真的前提下能证明a的后继a' 也为真，则该命题对任何自然数为真。

很多解释都侧重于说这条公理指出了数学归纳法方法。
但这条公理的实质意义更在于： 他指出了自然数集只有一个共同的生成元——0,  其他元都是0的有限次后继（方式生成的）。
   ——除掉了多根性歧义。

即，除了0和0的后继们，N将什么都没有。  
从而，数学归纳法这一方法，保证会遍历全体自然数而没有遗漏。

chaoshikong

没看懂啊，这个贴子是为了说明什么问题来着。。。

2268493827

老是对文字游戏海吹湖吹。