公理化方法
公

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

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