定义和含义

在一个理论体系中被假设成立的当做证明其他命题的基础的命题被称为公理。

公理往往来自于对所研究的对象的深刻认知，也可能是来自于对已有知识的系统化梳理使得现有知识建立在尽可能少的假设基础之上。