建构一个数学理论的过程中被用来推导的一个形式逻辑表示式。要公理化一个知识系统，就是要去证明该系统的主张都可以由数目不多而又可明确理解的陈述（公理）推导出来。一般来说都有多种方法来公理化一个给定的数学领域。然而，逻辑公理系统也并非唯一。直觉主义逻辑、模煳逻辑等新的逻辑结构，都建立在略有差异的公理上。因此，与其把公理看作不证自明的事实，不如看作是在一个特定的数学或逻辑系统中，先于一切证明的前设。
历史发展.
古希腊.经由可靠的论证（三段论、推理规则）由前提（原