「1＋1＝2」の厳密な証明が非常に難しい理由。 (34ﾚｽ)
上下前次1-新
1: 2025/11/12(水)15:53 ID:qgW05+Vq(1) AAS
「1＋1＝2」の厳密な証明が非常に難しい理由。
それは、ペアノの公理系を仮定しないからである。
ペアノの公理系を仮定すれば公理より自明。証明すべきことではなくなる。
一応、ペアノによる自然数の定義。
・1は自然数。
・自然数の後者は自然数。（「後者」は特に定義しない）
・上2つで定まる数のみが自然数。
・どの自然数にもその後者が存在する。
・2個の自然数を取ったとき、両者の後者が等しいのは元の2個の自然数が等しいときのみ。
簡単に言うと、リンゴ1個から出発して、リンゴを1個ずつ追加していったときに、
省12
上下前次1-新書関写板覧索設栞歴
あと 33 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.270s*