什么是数学公理化

如题所述

数学的公理是如下:

1、过两点有且只有一条直线。

2、两点之间线段最短。

3、同角或等角的补角相等。

4、同角或等角的余角相等。

5、过一点有且只有一条直线和已知直线垂直。

6、直线外一点与直线上各点连接的所有线段中,垂线段最短。

7、平行公理经过直线外一点,有且只有一条直线与这条直线平行。

8、如果两条直线都和第三条直线平行,这两条直线也互相平行。

9、内错角相等,同旁内角互补,同位角相等,两直线平行。

10、全等三角形的对应边相等,对应角相等。

知识扩展:

公理化思想就是任何真正的科学都始于原理,以它们为基础,并由之而导出一切结果。随着假设演绎模型法的进一步发展,经济学日益走向公理化方法。

公理化是一种数学方法。最早出现在二千多年前的欧几里德几何学中,当时认为“公理’(如两点之间可连一直线)是一种不需要证明的自明之理。

而其他所谓“定理”(如三对应边相等的两个三角形全等)则是需要由公理出发来证明的,18世纪德国哲学家康德认为,欧几里德几何的公理是人们生来就有的先验知识,19世纪末,德国数学家希尔伯特(David Hilbert)在他的几何基础研究中系统地提出数学的公理化方法。

发展

公理化方法发展的第一阶段是由亚里士多德的完全三段论到欧几里得《几何原本》的问世.大约在公元前3世纪,希腊哲学家和逻辑学家亚里斯多德总结了几何学与逻辑学的丰富资料,系统地研究了三段论,以数学及其它演绎的学科为例,把完全三段论作为公理。

由此推导出其它所有三段论法,从而使整个三段论体系成为一个公理系统.因此,亚里斯多德在历史上提出了第一个成文的公理系统。

温馨提示:答案为网友推荐,仅供参考