假设皮亚诺公理(Peano's axiom): (简化版)
1. 0是自然数
2. 对于自然数n 存在n'使得n'为自然数 (把x'叫做x的后继数 可看成x+1)
3. 对于自然数m,n, m=n <=> m' = n'
4. 对于任何自然数m, 0 ≠ m'
5. 任意关于自然数的命题,如果证明:它对自然数0是真的,且假定它对自然数n为真
时,可以证明对n'也真。那么,命题对所有自然数都真。
称自然数集为N。
现引入两个二元函数+,*: N x N -> N
使得
1. 对于自然数m,n, m+0 = m 与 m+n' = (m+n)'
2. 对于自然数m,n, m*0 = 0 与 m*n' = m + m*n
称+的动作为加,*的动作为乘。
好了,谁是被乘数?m吗?那我把(2)换成 m'*n = n + m*n 呢?