公理化方法

---

现代逻辑的基本方法。把一个科学理论公理化，就是用公理方法研究它，建立一个公理系统。每一科学理论都是由系列的概念和命题组成的体系，公理化的实现就是：⑴从它的诸多概念中挑选出一组初始概念，而不加定义的概念，该理论中的其余概念，都由初始概念通过定义引入，即都用初始概念定义，称为导出概念；⑵从它的一系列命题中挑选出一组公理，而不加证明的命题，即其余的命题都应用逻辑规则从公理推演出来，称为定理，每一定理都是经由证明而予以肯定的。由初始概念、导出概念、公理以及定理构成的演绎体系，称为公理系统。