「初等幾何学/定理と証明/ユークリッドの「原論」」の版間の差分
削除された内容 追加された内容
M編集の要約なし |
編集の要約なし |
||
1 行
== 「原
古代において数学は、農業が始まった頃から、道具として使われてきた。当時の人々は経験的にいくつかの定理を発見していたが、論理的な説明はされておらず、反例が挙がらないことで正しいとしていた。その後、論理的な「証明」が始まり、紀元前3世紀頃の古代ギリシャでは、既に多数の定理が証明されていたと考えられる。その中で、数学者のユークリッドはそれらを「原
== 公理とは ==
法則の正しさを示すのに数学では証明という手段を用いる。'''証明'''とは、既に正しいとされている事柄を並べ、決められた関係で結びつけることで、命題が真であることを示すことであるから、正しい命題の証明には、少なくとも1つ以上の根拠が必要となる。その根拠も、その証明には他の根拠が必要なので、あらかじめ1つ以上の命題を「正しい」と決めつけておかないと、法則の正しさを示せない。
10 行
公理系の決め方は一つではない。上の例でいえば、前者を公理としてもいいし、後者を公理としてもいい。両方を導けるような法則を公理としてもいい。しかし、皆が納得できるような論理を組み立てるために、公理は誰もが「正しい」と認めるものであるべきである。かくして、公理は「当たり前」なものがほとんどである。
== 「原
<!--英語版Wikisourceに写本がありますので、すべての内容を記述するのではなく、定義、公理、公準の特徴を記述してください-->
{{Stub}}
|