给某一理论建立公理系统的方法。亦即从某些初始概念和公理出发，依据特定的演绎规则，推导出一系列定理的演绎方法。第一部系统地体现这个方法的著作是公元前3世纪欧几里得的《几何原本》。