公理系统出发点的延伸公理系统的评价公理系统的性质和评价及其意义斯宾诺莎 《用几何学方法论证的伦理学》公设:某一门具体数学分支所需要的基本的方法公理:各个数学分支都通用的方法命题演算的自然演绎系统命题演算自然演绎系统中的证明和推演