公理學
公

公理學　　　gōng lǐ xué

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