数理逻辑的主要分支之一。研究形式理论（即*形式系统中的一组公理或公式）和它的解释——模型之间的关系。由于代数中一些经典的例子导致模型论中许多重要概念的产生，从这个意义上可以认为，模型论就是逻辑加上泛代数。研究构造模型的一般方法也是模型论的一个主要课题。20世纪50年代初在亨金(Leon Albert Henkin, 1921—)、塔尔斯基和罗宾逊(Abraham Robinson,1918—1974)的工作和倡导下，模型论发展成一个独立的研究领域，60年代又有很大进展。其方法已广泛应用到数学的其他领域，特别是集合论、代数、数学分析、数论等。