公理
Axiom
古典的な公理
証明なしでも常に正しい(=自明である)と考えられる命題
経験上、それは確かだと考えられるもの。
ほかの公理から導出できない(=独立した)命題
現代の公理
証明なしでも常に正しい(=自明である)と仮定される命題
非ユークリッド幾何学のようなものは、仮定しないと構成できない。
ほかの公理から導出できない(=独立した)命題
関連
非ユークリッド幾何学