公理化方法

公理化方法   gōng lǐ huà fāng fǎ

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