什么是公理化方法所谓实质性公理化方法是指在一个公理系统中，基本概念（包括基本对象和基本关系）不是原始概念，而是给基本概念下了定义或确定了它的具体内容，也就是说，一个公理系统研究的对象的范围、涵义和特征是先于公理而给出的，公理只是表达这类特定对象的基本性质，而且必须是不证自明的。例如，欧几里得的《几