axiom.

議論や数学体系で「証明せずに出発点として採用する」基本の命題。

数学では、ある体系で前提として置く命題をaxiomといい、その前提や推論規則から証明する命題はtheoremという。一般の説明では広く「当然と認められている原理」をいうこともあるが、それが現実に絶対正しいと保証する語ではない。

注意：axiom＝「数学的に真で証明不能な事実」と理解しない。どの体系で公理として採用しているかが重要で、一般論では誤った通念をaxiomと呼ぶ場合もある。

数学なら証明の出発点。一般的な社会理論なら「議論上受け入れられる前提」。formula（公式）やtheorem（定理）とは役割が異なる。

axiom / theorem：前提か、導かれる結論か

比較のポイント：形式体系の証明における役割差

同じ幾何学の授業

違い：授業の出来事は同じだが、紹介する命題の論理的役割が異なる。前者は前提、後者は証明される結論。

言い換え：どちらも「紹介」はできるが、axiomとtheoremは数学上の同義語ではない。

原義の「受け入れるに値すること」と、現在の「前提として認める命題」を関連付けて理解する。

• 公理はスタート地点、定理はそこからたどり着く結論という位置関係で覚える。

axiomは証明の出発点となる前提。theoremはそこから導く定理。一般文脈のaxiomは「当然視される原理」でも、その真実性を保証しない。