同一 等价和自然数的生成：皮亚诺公理3解读——皮亚诺读后之五

同一 等价和自然数的生成：皮亚诺公理3解读——皮亚诺读后之五

        鼠年的最后一晚，万里之遥的视频，带来孩子们新春的问候。春节的广州静悄悄的，牛年，就这么紧随着鼠年成为人们的过往记忆而款款而来。大年初二，一篇《西江月》的“三杯两盏”勾起我的文思，盘算着要如同《西江月》那样，也留下点什么文字痕迹才好。咬文嚼字的结果，弄出个四言八句。

       岁月不居，时节如流。

       忽焉已过，六轮丑牛。

       往事如烟，人生何求？

       三杯两盏，戏说春秋。

       文字没花多长时间，很快就弄成了。但微信的文字编排很是磨人，折腾了好几个小时，才算把这八段四言摆弄整齐。再好的文字，大概都得有个整齐简美的编排才显得出文字的意蕴。这微信的编辑版面，什么时候给有文字瘾的用户以方便？但愿牛年的这份期待，在牛年之中得以变成一个实实在在。

思绪又转到了皮亚诺，他的公理1-2，在鼠年末给了点文字解读。这似乎就是在给牛年留下任务，有了1-2，自然就要后续剩下的公理，由此，也就开启了辛丑牛年的第一篇博文。

       这篇博文所要议论的东西，自然是紧随皮亚诺公理1-2之后的公理3-5。经典的数学认知，真乃是一种神奇。岁月不居，时节如流，鼠牛交替，不止不休，但由智慧创建的经典却遍历时空。它仿佛如生命的基因一样不朽且代代传承，就像戴德金的“镜像”，皮亚诺的“后继”和罗素的“遗传”观念一样。

       牛年之初，让我们走进皮亚诺公理3吧。

一、皮亚诺公理3：如果有两个数a和b，它们都属于自然数，那么，当a和b相等时，当且仅当a的后继a’就和b的后继b’也相等

       这就是皮亚诺的PA3，用近似皮亚诺的方式，替代自然语言的符号做常规处理，来表示这个皮亚诺公理3，那就是以下公式：

(((a