【悲報】1+1=2、1+1=2以外の証明方法がない

1 ：以下、？ちゃんねるからVIPがお送りします：2018/11/09(金) 16:25:35.758 ID:7mWUZ9uB0.net

本当に1+1=2なのか？

2 ：以下、？ちゃんねるからVIPがお送りします：2018/11/09(金) 16:26:19.345 ID:vwvJnViOa.net

1+(2-1)=2
3-1=2
はい

3 ：以下、？ちゃんねるからVIPがお送りします：2018/11/09(金) 16:26:59.880 ID:W5TF2LYX0.net

むしろ1+1=2を強要されているのではないだろうか

4 ：以下、？ちゃんねるからVIPがお送りします：2018/11/09(金) 16:28:05.682 ID:W5y1chht0.net

ならもう普遍的な公式にしちゃいなよ
いちいち証明しなくて済むだろ

5 ：以下、？ちゃんねるからVIPがお送りします：2018/11/09(金) 16:30:33.613 ID:0ghAseoKa.net

2の定義だろ

6 ：以下、？ちゃんねるからVIPがお送りします：2018/11/09(金) 16:31:31.160 ID:BO+ywmwzr.net

ペアノの公理である。
それによると、自然数の間に「後者関数」と呼ばれる関数 suc(a) が与えられ、
（自然数に 0 を含める場合）0 の「後者」suc(0) が 1、その「後者」suc(1)が 2 と定義される。
一方、加法は n + 0 = n および n + suc(m) = suc(n + m) によって再帰的に定義される。
したがってこれらと等号公理により 1 + 1 = 1 + suc(0) = suc(1 + 0) = suc(1) = 2

Wikipedia　1＋1より
だってさ

7 ：以下、？ちゃんねるからVIPがお送りします：2018/11/09(金) 16:33:41.268 ID:s/aCOGhg0.net

数学基礎論やろっか

8 ：以下、？ちゃんねるからVIPがお送りします：2018/11/09(金) 16:34:52.987 ID:NdS0LRVWM.net

数学って大学になると一気にどうでもいい学問に成り下がるよな