公理
维基百科，自由的百科全书
公理一詞源自希臘文 axioma，原意是「有價值的思想」。一个公理是保证为真的一个句子或命题，并充当演绎其他真理的起点。在很多使用中公理和公设是同义词。
在特定知识论的理论中，公理是一个不证自明的真理，其他知识必须依靠它们，而且其他知识从它们而建造。在这种情况下的一个公理可以在你知道任何其他命题之前就知道。不是所有知识论学者认可任何这个意义上的公理存在。
在逻辑和数学中，公理不必须是不证自明的真理，而是用在演绎中生成进一步结果的一个形式逻辑表达式。要公理化一个知识系统就是证实所有它的主张都可以从一个相互独立的句子的小集合推导出来。这不暗示着它们可以独立的获知；并且典型的有多种方式来公理化一个给定的知识系统(比如算术)。数学家区别两种类型的公理: 逻辑公理和非逻辑公理。
