網(wǎng)站首頁 高考復習資料 高考英語詞匯 高考漢語字詞 高考文言文 古詩文閱讀 舊版資料
邏輯學中的一種程序。即以某些基本概念和基本命題出發(fā)，依據(jù)特定演繹規(guī)則，推導一系列的定理，從而構(gòu)成一個演繹系統(tǒng)的方法。公理化體系最早的例子是亞里士多德的三段論和歐幾里得的幾何學。
高三復習網(wǎng)英漢詞典收錄370961條英漢翻譯詞條，基本涵蓋了全部常用英語單詞的釋義及用法，是英語學習的有利工具。