公理（論理学・数学）

特徴と種類

公理は、演繹体系の基礎的な仮定、すなわち前提として機能する。純粋数学では、抽象的な構造を定義し、定理の導出を可能にするために選ばれる。一部の公理は物理世界の規則性を捉えることを意図しており、ニュートンの法則のような物理法則に似ている。一方、抽象的対象についての純粋に形式的な宣言であるものもある。論理公理、または論理法則には無矛盾の原理のような原則が含まれ、数学における公理系には、算術のペアノの公理や集合論のツェルメロ＝フレンケルの公理など、よく知られた体系がある。

歴史的展開と方法論

自明な出発命題を明示するという考え方は、基本的主張を配列して広範な成果を構築した古代幾何学にまでさかのぼる。何世紀にもわたり、数学者と哲学者はこの方法を洗練させてきた。ある公理の一覧は自明性を目指し、別のものは最大限の一般性や証明における便宜を目指す。現代の実践では、公理は理論を定義するために選ばれた任意の基本命題でありうる。その受容は、経験的に検証可能かどうかではなく、そこから得られる理論の実り豊かさと整合性に依拠する。

用途、例、意義

公理は定理を導出し、どの性質が証明されたものではなく仮定されているのかを明確にするために用いられる。例としては、幾何学におけるユークリッドの公理、算術の公理、確率論の公理がある。異なる公理を選べば、相互に異なるが内部的には無矛盾な理論が生じうる。ユークリッドの平行線公準を別のものに置き換えたことは、双曲幾何学と楕円幾何学へとつながった。集合論における選択公理をはじめ、特定の公理をめぐる議論は、その採用または不採用が証明可能な事柄に影響しうることを示している。

区別と注目すべき事実

• 独立性：ある公理が他の公理から証明できないとき、その公理は他の公理から独立している。独立性に関する結果は、どの仮定が本質的であるかを明らかにすることが多い。
• 無矛盾性：公理系が矛盾を導かない場合、その体系は無矛盾である。形式理論を構築する際、無矛盾性は中心的な関心事である。
• 完全性と限界：数学全体を公理化しようとする試みは、20世紀の重要な研究計画を促した。ゲーデルの不完全性定理のような結果は、公理系が達成できることには限界があることを示した。

要するに、公理は理論の範囲と力を形づくる明示的な出発仮定である。その選択は哲学的であると同時に実践的な選択でもある。異なる公理は数学、論理学、科学の異なる側面を照らし出し、明確な公理系は、仮定される事柄と実証される事柄を区別する助けとなる。