『1≠3』は証明されているのでしょうか？

質問

『1＝2』や『1＝3』や『1＝4』や『1＝5』‥‥‥

などは、絶対に成り立たないと既に数学的な証明がなされているのでしょうか？

回答No.3

stomachman · ベストアンサー

> 既に数学的な証明

ということは数学基礎論ですね。証明というより、0や1や2や3って一体何か、という話です。

http://okwave.jp/qa/q2769678.html
http://okwave.jp/qa/q217225.html

これらがご参考になるでしょう。手前味噌っぽくて申し訳ないが。

お礼

ご回答ありがとうございました！

証明というより数学基礎論の話しであるということなのですね、リンク先をじっくりと読みたいと思います。

回答No.2

Tacosan

どのレベルで話をしましょうか.

「算数」のレベルと「数学基礎論」のレベルとでは全く違うことになります.

お礼

ご回答ありがとうございました！

証明というより算数と数学基礎論の両方で論じることができるのですか、自分には難しそうです。

回答No.1

garasunoringo

定義なので、証明は必要ありません

お礼

ご回答ありがとうございました！

定義ということなのですね、後から定義すら覆ることももしやあるのだろうかと疑問に思いました。