漫游猫认证
公理化方法发展的第一阶段是由亚里斯多德的完全三段论到欧几里得《几何原本》的问世.大约在公元前3世纪,希腊哲学家和逻辑学家亚里斯多德总结了几何学与逻辑学的丰富资料,系统地研究了三段论,以数学及其它演绎的学科为例,把完全三段论作为公理,由此推导出其它所有三段论法,从而使整个三段论体系成为一个公理系统.因此,亚里斯多德在历史上提出了第一个成文的公理系统.