公理系统出发点的延伸

公理系统的评价

公理系统的性质和评价及其意义

斯宾诺莎 《用几何学方法论证的伦理学》

公设：某一门具体数学分支所需要的基本的方法

公理：各个数学分支都通用的方法

命题演算的自然演绎系统

命题演算自然演绎系统中的证明和推演