公理化方法
公

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

給某一理論建立公理系統(tǒng)的方法。亦即從某些初始概念和公理出發(fā)，依據(jù)特定的演繹規(guī)則，推導(dǎo)出一系列定理的演繹方法。第一部系統(tǒng)地體現(xiàn)這個(gè)方法的著作是公元前3世紀(jì)歐幾里得的《幾何原本》。