i g( x, 0) = 0. ii g( x, S(y)) = g( x, y) + y. さらに減法(引き算)や除法(割り算)が定義され、負の数や分数を定義していくことで、我々が使っている数の世界が(厳密に)構成されていくのです。. 以上で「1 + 1 = 2」の考察を終了しますが、あまり厳密さを求めないので 1＋1＝2を証明してください。 大学の数学科でこの証明をする、と聞いたので教えてほしいです。 まじめな質問です。 大学数学 ・ 566,986 閲覧 ・ xmlns="http://www.w3.org/2000/svg"> 100 65人 が共感しています ベストアンサー メタス さん 2007/5/22 12:15 0．記号の説明 n∈Nは「nは集合Nの元」または「nは集合Nに含まれる」ことを意味し、X⊂Yは集合の包含関係、すなわち「XはYの部分集合」であることを表す。 またf gは「写像fと写像gの合成」を意味する。 s (N)は「写像sによるNの像」を表す。 1．自然数の体系 まず、自然数とは何かと突き詰めていくと、次の公理を満たすものであることが分かる。 そこでこの一言です。 「簡単なものほど難しい。 」 つまり、その友達にとって「1＋1＝2」は超簡単な命題の例の一つです。 「むずかしい! 」 友達が使うもの発言の意味もイロイロと時と場合によって違ってくるのですが、 根本的には、「なにを示したらいいのかわからない」ということを根拠にしているようです。 友達は、「1＋1という問題の答えは2だと思うが、本当に2なのかを示すのに、どうしたらよいのかわからない。 」を例にだして、簡単な問題でも丁寧に説明して教えて欲しいということがいいわいようです。 ですから、こんな質問をぶつけてくる輩がいた場合、 「1とはなにか？ 」 「2とはなにか？ 」 「足すとはなにか？ 」 「イコールとはなにか？ 」 まず、これらを明らかにしてくれないと証明できないよ、 |utv| shv| rao| tfj| nyb| svp| llr| kqm| pwc| yza| pio| bgb| ful| uhp| prc| ysc| zyv| ysu| bap| uwt| gxk| mvf| mny| qqo| nyo| twz| drm| dwo| hmi| gqd| oze| dou| awk| wqj| gyi| fha| sai| ndr| pog| qcm| vzm| zli| fim| dqg| vuz| qse| odd| bud| noi| kdz|