公理

読み

こうり

意味

論理学や数学において、議論の出発点となる基本的命題。証明を必要としない前提として扱われ、定理は公理から演繹的に導かれる。
現代では、公理は必ずしも自明の真理を意味するものではないとされている。

公理の例としては、
「2点を通る直線は1本だけ引ける」
「a = b なら a + c = b + c」
などがある。

登録年月

2026年4月