初中数学课外百科知识：公理化和形式化.pdfVIP

初中数学课外百科知识：公理化和形式化 　　学习可以这样来看，它是一个潜移默化、厚积薄发的过程。 查字典数学网编辑了数学课外百科知识，希望对您有所帮助! gonglihua he xingshihua 公理化和形式化 axiomatization and formalization 研究演绎科学理论和构造演绎系统的两种方法。它们被广泛应用 于现代逻辑和数学研究中。 公理化 把一个科学理论公理化，就是用公理方法研究它，建立 一个公理系统。每一科学理论都是由一系列的概念和命题组成的 体系，公理化的实现就是：①从它的诸多概念中挑选出一组初始 概念，即不加定义的概念，该理论中的其余概念，都由初始概念 通过定义引入，即都用初始概念定义，称为导出概念;②从它的 一系列命题中挑选出一组公理，即不加证明的命题，而其余的命 题，都应用逻辑规那么从公理推演出来，称为定理。应用逻辑规 那么从公理推演定理的过程称为一个证明，每一定理都是经由证 明而予以肯定的。由初始概念、导出概念、公理以及定理构成的 演绎体系，称为公理系统。其中，初始概念和公理是公理系统的 出发点。 公理方法经历了从古代的实质公理学到现代的形式公理学的发展 过程。 公理系统相应地区分为古典公理系统、现代公理系统或称形式公 理系统。最有代表性的古典公理系统是古希腊数学家欧几里