拼音 | gōng lǐ huà fāng fǎ | 注音 | ㄍㄨㄥ ㄌㄧˇ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ |
首字母 | glhff | 词性 | 名词 |
近义词 | 公理系统 | ||
反义词 | 非公理化方法 | ||
基本解释 | 从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。 |
公理化思想就是任何真正的科学都始于原理,以它们为基础,并由之而导出一切结果。随着假设演绎模型法的进一步发展,经济学日益走向公理化方法。 公理化是一种数学方法。最早出现在二千多年前的欧几里德几何学中,当时认为“公理’(如两点之间可连一直线)是一种不需要证明的自明之理,而其他所谓“定理” (如三对应边相等的陌个三角形垒等)则是需要由公理出发来证明的,18世纪德国哲学家康德认为,欧几里德几何的公理是人们生来就有的先验知识,19世纪末,德国数学家希尔伯特(David Hilbert)在他的几何基础研究中系统地提出数学的公理化方法。