1+1は2?その他?
コメントしよう!
トピックも作成してみてください!
トピックを投稿する ジュゼッペ・ペアノによって自然数同士の加法は次のように定義されている
a+0=a
a,b∈N;a+suc(b)=suc(a+b) ・・・(*)
自然数集合はペアノの公理を満たしている集合なので
0,1∈N
よってa=1,b=0 を取ることができ、
(*)に代入すると
1+suc(0)=suc(1+0)
1+1=suc(1)
1+1=2 (終)

