假設皮亞諾公理(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 呢?