1. 公理 - 一般に通用する道理

2. 公理 - 数学で、論証がなくても自明の真理として承認され、他の命題の前提となる根本命題

3. 公理 - 自明であると否とを問わず、ある理論の前提となる仮定

axiom ; maxim ; self-evident truth​

公理系、公理群

推論規則（infference rule）

定理（theorem）

ダフィット・ヒルベルト

ヒルベルト・プログラム