福本信行　賭博覇王伝　零　７正解目

福本信行　賭博覇王伝　零　７正解目 at WCOMIC

107:名無しさんの次レスにご期待下さい
07/11/07 23:25:27 SszZkagO0
>>78
1=suc(0)、2=suc(suc(0))と定義する　（suc(a)はa+1を意味する）
加法の定義（a+0=a, a+suc(b)=suc(a+b)）より、
suc(0)+suc(0)=suc(suc(0)+0)=suc(suc(0))

以上より1+1=2

次ページ

続きを表示

1を表示