Question

数学的公理是什么意思？

Answer 1

公理是依据人类理性的不证自明的基本事实，经过人类长期反复实践的考验，不需要再加证明的基本命题。除了重言式之外，没有任何事物可被推导，若没有任何事物被假定的话。公理即是导出特定一套演绎知识的基本假设。公理不证自明，而所有其他的断言（若谈论的是数学，则为定理）则都必须借助这些基本假设才能被证明。然而，对数学知识的解释从古至今已不太一样，且最终“公理”这一词对今日的数学家眼中和在亚里斯多德和欧几里得眼中的意思也有了些许的不同。古希腊人认为几何学也是数种科学的其中之一，且视几何学的定理和科学事实有同等地位。他们发展并使用逻辑演绎方法来作为避免错误的方法，并以此来建构及传递知识。亚里斯多德的后分析篇是对此传统观点的一决定性的阐述。扩展资料公理化的实现就是：①从其诸多概念中挑选出一组初始概念，该理论中的其余概念，都由初始概念通过定义引入，称为导出概念；②从其一系列命题中挑选出一组公理，而其余的命题，都应用逻辑规则从公理推演出来，称为定理。应用逻辑规则从公理推演定理的过程称为一个证明，每一定理都是经由证明而予以肯定的。由初始概念、导出概念、公理以及定理构成的演绎体系，称为公理系统。初始概念和公理是公理系统的出发点。公理系统相应地区分为古典公理系统、现代公理系统或称形式公理系统。最有代表性的古典公理系统是古希腊数学家欧几里得在《几何原本》一书中建立的。第一个现代公理系统是D.希尔伯特于1899年提出的。他在《几何基础》一书中，不仅建立了欧几里得几何的形式公理系统，而且也解决了公理方法的一些逻辑理论问题。例如欧几里德《几何原本》中就规定了五条公理和五条公设（以现代观点来看，公设也是公理），平面几何中的一切定理都可由这些公理和公设推导而得。

Answer 2

公理是一个汉语词汇，读音为gōng lǐ，是指依据人类理性的不证自明的基本事实，经过人类长期反复实践的考验，不需要再加证明的基本命题。
在数学中，公理这一词被用于两种相关但相异的意思之下——逻辑公理和非逻辑公理。在这两种意义之下，公理都是用来推导其他命题的起点。和定理不同，一个公理（除非有冗余的）不能被其他公理推导出来，否则它就不是起点本身，而是能够从起点得出的某种结果—可以干脆被归为定理了。

Answer 3

数学的公理是如下：1、过两点有且只有一条直线。2、两点之间线段最短。3、同角或等角的补角相等。4、同角或等角的余角相等。5、过一点有且只有一条直线和已知直线垂直。6、直线外一点与直线上各点连接的所有线段中，垂线段最短。7、平行公理经过直线外一点，有且只有一条直线与这条直线平行。8、如果两条直线都和第三条直线平行，这两条直线也互相平行。9、内错角相等，同旁内角互补，同位角相等，两直线平行。10、全等三角形的对应边相等，对应角相等。

Answer 4

对于一般课本，公理是指人们根据实际经验提出的命题，这些命题是无法通过证明其正确性的，如两点之见线段最短。