1+1=2であると論理的に証明してください。 そう定義しているからというのは証明ではありません。

1+1=2であると論理的に証明してください。 そう定義しているからというのは証明ではありません。

[kamei_rio]

ではまず貴方が提示した1,2,+,=が何なのか教えて下さい

[ROYGB]

公理による説明は、それだけでは現実と無関係な虚構。かといってリンゴが１個とリンゴが１個を合わせて２個という素朴な感覚では一般的に成り立つことの証明ができない。

[motowota]

質問を投げたバカはどのような心境で投稿したんだろう？

[h-hirai]

が質問者さんに一生懸命数学を教えてたみたい。でも結局わかってもらえなかったみたい。→ http://q.hatena.ne.jp/1304857863

[wed7931]

冒頭の(1)～(3)の説明がわかりやすい。

[karasawacurry]

1+1=2の定義。変な質問だけど、僕が知りたかったことが回答にあって満足

[ashigaru]

“1+1=2であると論理的に証明してください。 そう定義しているからというのは証明ではありません。”いやまずおまえが2の定義をしろ

[hokuto-hei]

ネタにマジレス、カッケェ！

[keiseiryoku]

答え方にも美しさってあるんだなぁ。達人のごとくひらりと投げ飛ばした感じの回答やら、野性的に馬乗りになって殴りつける回答やら、いろいろ。

[akirahs]

回答の証明読んでてふと疑問に思ったんだけど、nに対してsucc(n)はただ「存在する」だけじゃなくて「１つだけ」じゃないといけないよね？

[inukorori]

久々にガチで心配なネットの人。

[rtpcr2]

すげぇいろんな人から怒られてる気分。文句を言うにもルールがあるのだと。

[oono_n]

公理系のお話。

[chochonmage]

かろうじてわかる・・・・・・・・・・・・かな？

[kananaka]

証明の問題は、定義の段階を含めてうっとりするほど美しいことを改めて実感。

[shino-katsuragi]

証明をはじめて20秒で「うるさい。黙れ。」と言われそうな気がした。人の世は難しい。

[counterfactual]

懐かしいペアノの公理。

[as365n2]

公理系。「ペアノの公理」

[Sonae-Guy]

回答者の本気ぶりにうっとり。

[REV]

これを思い出した　http://q.hatena.ne.jp/1124114353

[imo758]

このキャンセルされた質問は、今後どうなっていくのだろうか。私にはなにがなんだかわからない。

[deep_one]

非ユークリッド空間ではそもそも成り立たないはずなのだけれど…／回答は開かれていないが「証明出来ないことが証明されている」というものばかりなんだろうな。