模型論
模

模型論　　　mó xíng lùn

數(shù)理邏輯的主要分支之一。研究形式理論（即*形式系統(tǒng)中的一組公理或公式）和它的解釋——模型之間的關(guān)系。由于代數(shù)中一些經(jīng)典的例子導致模型論中許多重要概念的產(chǎn)生，從這個意義上可以認為，模型論就是邏輯加上泛代數(shù)。研究構(gòu)造模型的一般方法也是模型論的一個主要課題。20世紀50年代初在亨金(Leon Albert Henkin, 1921—)、塔爾斯基和羅賓遜(Abraham Robinson,1918—1974)的工作和倡導下，模型論發(fā)展成一個獨立的研究領(lǐng)域，60年代又有很大進展。其方法已廣泛應(yīng)用到數(shù)學的其他領(lǐng)域，特別是集合論、代數(shù)、數(shù)學分析、數(shù)論等。