海量资源,尽在掌握
公理化方法 gōng lǐ huà fāng fǎ
给某一理论建立公理系统的方法。亦即从某些初始概念和公理出发,依据特定的演绎规则,推导出一系列定理的演绎方法。第一部系统地体现这个方法的著作是公元前3世纪欧几里得的《几何原本》。