公理系統(tǒng)
公

公理系統(tǒng)　　　gōng lǐ xì tǒng

從一些初始概念、公理出發(fā)，根據(jù)一定的推理規(guī)則而推演出一系列定理所構成的演繹體系。是應用公理化方法的結果。公元前3世紀歐幾里得的《幾何原本》就建立了一個公理系統(tǒng)。對一個公理系統(tǒng)的基本要求是無矛盾性。采用表意的人工符號語言的完全形式化的公理系統(tǒng)稱為形式系統(tǒng)。