公理

3行要約

1. ある理論体系の出発点として、証明なしに正しいと受け入れられる基本的な前提。
2. 他の全ての定理は、これらの公理から論理的な推論によって導き出される。
3. ユークリッド幾何学の公理系のように、体系の整合性を保つための土台となる。