公理とは？
こうり
公理とは、証明なしに真であると認められ、論理体系や数学の出発点となる基本的な命題のことです。
公理（こうり）とは、ある理論体系において証明を必要とせず、議論の前提として受け入れられる基本的な命題のことです。英語では「axiom」と呼ばれ、論理学・数学・哲学など幅広い分野で用いられます。
公理の概念を理解するうえで重要なのは、「証明できないから正しい」のではなく、「その体系の出発点として設定される」という点です。すべての論証は何らかの前提から始まる必要があり、公理はその最も基礎的な前提に当たります。公理から出発し、論理的な推論（定理）を積み重ねることで、数学や論理学の体系は構築されます。
歴史的に有名な公理系としては、古代ギリシャの数学者ユークリッドが著した『原論』における幾何学の公理があります。「2点間には直線が1本引ける」などの命題がその例です。また、現代数学では集合論の基盤としてZFC公理系（ツェルメロ＝フレンケル公理系）が広く採用されています。
公理の特徴をまとめると次のようになります。
- 自明性：直感的に疑いなく受け入れられる内容が多い
- 無矛盾性：互いに矛盾しないよう慎重に選ばれる
- 独立性：他の公理から導出できないものが理想とされる
- 完全性：体系内の問題を解くのに十分であること
公理は数学的真理の根拠であるとともに、「何を前提とするか」という哲学的問いとも深く結びついています。
使い方・例文
「平行線は交わらない」というユークリッド幾何学の公理を否定することで、非ユークリッド幾何学という新たな体系が生まれました。
この用語をシェア
最終更新: