1﹒公理化方法

所谓公理化方法是指从尽可能少的基本概念、公理、公设出发，运用演绎推理规则，推导出一系列的命题和定理，从而建立整个理论体系的方法。由公理化方法所得到的逻辑演绎体系称为公理化体系。1899年，德国数学家希尔伯特在前人工作的基础上，著《几何基础》一书，完善了几何公理化方法，创造了全新的形式公理化方法，把欧几里得几何学加工、整理为从公理出发的纯粹演绎体系，并特别注意其中公理体系的逻辑结构，成为近代公理化思想和方法的代表性作品。相继出现了各种理论的公理化系统，如理论力学公理化，相对论公理化，数理逻辑公理化，概率论公 ......