公理學(xué)
公

公理學(xué)　　　gōng lǐ xué

研究公理化方法和公理系統(tǒng)的理論。公理學(xué)所研究的對(duì)象、性質(zhì)和關(guān)系稱為它的論域。實(shí)質(zhì)公理學(xué)的論域必須先于公理而洽定，并且是唯一的，然后引入初始概念以表示該論域中的東西，建立公理以刻畫(huà)這些東西的根本特點(diǎn)，借助演繹推理來(lái)證明該論域中的真理。形式公理學(xué)則不預(yù)先給定論域，初始概念在引入公理之前是不加定義的，公理可以看成是初始概念的定義，對(duì)初始概念經(jīng)過(guò)不同的解釋，一個(gè)形式公理系統(tǒng)可以有許多論域。