公理

本条目可能指代两个内容：

• 公理（逻辑），指公理系统中被选择为不需要证明的命题。
• 公理（代数系统），指代数系统中不需要证明直接使用的运算规则，是代数系统中不需要证明的命题。