1+1は2?その他?
2
50票 (75%)
その他
16票 (24%)
コメントしよう!
トピックも作成してみてください!
トピックを投稿するジュゼッペ・ペアノによって自然数同士の加法は次のように定義されている
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 (終)