什么是公理?

公理是依据人类理性的不证自明的基本事实，经过人类长期反复实践的考验，不需要再加证明的基本命题。除了重言式之外，没有任何事物可被推导，若没有任何事物被假定的话。公理即是导出特定一套演绎知识的基本假设。

公理不证自明，而所有其他的断言（若谈论的是数学，则为定理）则都必须借助这些基本假设才能被证明。

然而，对数学知识的解释从古至今已不太一样，且最终“公理”这一词对今日的数学家眼中和在亚里斯多德和欧几里得眼中的意思也有了些许的不同。

古希腊人认为几何学也是数种科学的其中之一，且视几何学的定理和科学事实有同等地位。他们发展并使用逻辑演绎方法来作为避免错误的方法，并以此来建构及传递知识。亚里斯多德的后分析篇是对此传统观点的一决定性的阐述。

扩展资料

公理化的实现就是：

①从其诸多概念中挑选出一组初始概念，该理论中的其余概念，都由初始概念通过定义引入，称为导出概念；

②从其一系列命题中挑选出一组公理，而其余的命题，都应用逻辑规则从公理推演出来，称为定理。应用逻辑规则从公理推演定理的过程称为一个证明，每一定理都是经由证明而予以肯定的。

由初始概念、导出概念、公理以及定理构成的演绎体系，称为公理系统。初始概念和公理是公理系统的出发点。

公理系统相应地区分为古典公理系统、现代公理系统或称形式公理系统。最有代表性的古典公理系统是古希腊数学家欧几里得在《几何原本》一书中建立的。

第一个现代公理系统是D.希尔伯特于1899年提出的。他在《几何基础》一书中，不仅建立了欧几里得几何的形式公理系统，而且也解决了公理方法的一些逻辑理论问题。

例如欧几里德《几何原本》中就规定了五条公理和五条公设（以现代观点来看，公设也是公理），平面几何中的一切定理都可由这些公理和公设推导而得。

“公理”：是人们在长期实践中总结出来的基本数学知识并作为判定其它命题真假的根据
“定理”：用推理的方法得到的真命题叫做“定理”，这种推理的方法也叫“证明”.

公理是“公认”的规律，不能证明的。对于一些无法用逻辑来证明的但又经过实验证明是正确的定为“公理”。

开阳磷矿公司可以什么？公司里分好多单位，有些单位拿高工资5.6千。有些单位拿的工资还不到3000生活那么高养家都不够，特别是单职工，还有就是这里建设工厂都是对人体有毒的。这里居民都叫迁搬，以房换房，补差价。一个烂房间修在一些小县城都是70多到几百个平方，还有什么电梯楼以3千一个平方。不是电梯楼以2千多的差价买人，有些单职工待遇才2千多一个眼。还要养家谁能买的起。每个人心里都有怨言。有些都知道这叫搜民刮民都不敢说，只是逼到没办法。工作了20多年工资还在拿2千多。怕丢掉铁饭碗。根本没为这些职工考虑.听说磷矿老大曲总要退休了，看来是要溜了.这叫公理吗？....只能说这么多

就是不用证明的，就像1+1=2一样