1+1=2を証明しろって言い方おかしくない？

[0001 以下、5ちゃんねるからVIPがお送りします 2023/06/24(土) 19:39:26.839 ID:GIhm8L430]

1+1=2はどういうルールのもとに成り立つ文か説明しろみたいな言い方の方よくない？

[0016 以下、5ちゃんねるからVIPがお送りします 2023/06/24(土) 19:48:41.220 ID:GIhm8L430]

>>15
2進数だけど10だった；；

[0017 以下、5ちゃんねるからVIPがお送りします 2023/06/24(土) 19:53:26.743 ID:cv5C5jEV0]

>>16
なるほど
なら10進数において2にならない状況があるかどうか じゃね

[0018 以下、5ちゃんねるからVIPがお送りします 2023/06/24(土) 19:53:39.524 ID:GIhm8L430]

>>14
お、おまらぁ…

[0019 以下、5ちゃんねるからVIPがお送りします 2023/06/24(土) 19:55:52.345 ID:0GmsUJVsd]

まず1を定義する、左右の数を1つずつ加算する+を定義する、左の式の答えを右に示さなければならない事を意味する=を定義する、最後に1より1大きい数字である2を定義する

以上の定義から考えると1+1とは1に1を足す式であると解釈出来る

つまり1+1=の答えは1より1大きい数字である2だ

[0020 以下、5ちゃんねるからVIPがお送りします 2023/06/24(土) 19:56:38.188 ID:yhqW/jBt0]

証明って大前提がどこまでが共通認識なのかって難しいね

[0021 以下、5ちゃんねるからVIPがお送りします 2023/06/24(土) 19:56:47.845 ID:cv5C5jEV0]

まああと何進数かで見た目の表記は変わっても同じものとして扱われるから、違う証明にはなってないんじゃね

[0022 以下、5ちゃんねるからVIPがお送りします 2023/06/24(土) 19:57:14.849 ID:0GmsUJVsd]

>>15
1より1大きい数が11であった場合

[0023 以下、5ちゃんねるからVIPがお送りします 2023/06/24(土) 20:04:33.824 ID:GIhm8L430]

>>17
10進数ということをちゃんと明言しなきゃいけないんだってさ
あとは背理法使うというよりは
・自然数があってその中に1という数字がある
・1の次は2だとする
・自然数に+1という操作をするとその次の自然数になる
というルールを説明しろってのが正しいやり方らしい
「+1という操作で次の次の自然数になる」とかいうルールを自分の脳内で勝手に作ることはできるから（それが世の中を記述するためのルールとして妥当かは別にして）
1+1=2についてのルールをちゃんと言いなさいよってことみたい

[0024 以下、5ちゃんねるからVIPがお送りします 2023/06/24(土) 20:06:14.665 ID:dC3kRYT+d]

>>21
性質が同じというだけだろう

[0025 以下、5ちゃんねるからVIPがお送りします 2023/06/24(土) 20:06:27.156 ID:6WW+JPAmM]

インチキ面接官レベルか

[0026 以下、5ちゃんねるからVIPがお送りします 2023/06/24(土) 20:10:51.987 ID:GIhm8L430]

公理を作ることと公理から演繹するのはなんか違うよねってことかな？