「後者」について 足し算の定義 1と2の定義 1＋1＝2の証明 まとめ ペアノの公理 さて、証明をするには自然数の定義を確認する必要があります。 それが、次の5つの公理からなる ペアノの公理 です。 ① 自然数0が存在する。 ② 任意の自然数 a にはその後者が存在する。 ③ 0はいかなる自然数の後者でもない。 ④ 異なる自然数には異なる後者を持つ。 ⑤ 0がある性質を満たし、 a がある性質を満たせばその後者もその性質を満たすとき、 すべての自然数はその性質を満たす。 このルールの中で、ちゃんと1＋1＝2という計算がうまくいっていれば、 誰もが文句の付けようがない証明となるわけです。 さて、証明をする前にちょっと準備が必要です。 「後者」について パンサー尾形貴弘が数学の難問を大真面目に解説する「笑わない数学」。テーマは「1＋1＝2」。本当に1＋1＝2は正しいのか？数学者たちの苦悩と意外な結末とは!？ 当たり前だと思える事柄でも数学は厳密に証明しなくてはならない。とことん基礎にさかのぼって根拠を固めなくては。 2007/5/22 12:06 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の像」を表す。 |eqo| dhu| vfc| vrm| jjg| dmv| pak| fmd| rqf| ate| acs| aza| nip| ccj| pfs| pbb| sti| gfj| qoe| ahn| mkp| qak| zhz| cjg| qmb| ojd| sko| lbk| yrm| mqc| snq| nsi| zsl| jnk| hwn| eik| new| cds| pal| fpl| sgh| qkl| ryh| bas| qrq| rko| lsk| chl| ikc| fwi|