经由可靠的论证（三段论、推理规则）由前提（原有的知识）导至结论（新的知识）的逻辑演绎方法，是由古希腊人发展出来的，并已成为了现代数学的核心原则      除了重言式之外，没有任何事物可被推导，若没有任何事物被假定的话      公理即是导出特定一套演绎知识的基本假设      公理不证自明，而所有其他的断言（...