Modeltheorie is een deelgebied van de logica en de wiskunde, en handelt over de relaties tussen puur formele uitdrukking en hun betekenis. De modeltheorie is een deel van de semantiek over geformaliseerde theorie. Het gaat in de modeltheorie om de bestudering van de relaties tussen de eigenschappen van een formele theorie en de eigenschappen van een ander mathematisch systeem.

Het baanbrekend werk op dit gebied is in de 1930er jaren verricht door Kurt Gödel, Thoralf Skolem (1887-1963) en Alfred Tarski, en sinds de 1950er jaren is dit werk sterk ontwikkeld.

Zie ook

• Logica
• Semantiek
• Wiskunde
• Model (wetenschap)
• Modelvormingsleer

Logica | Wiskunde | Modelvorming

Teorie modelů | Modelltheorie | Model theory | Teoría de modelos | Théorie des modèles | Modello (logica matematica) | Teoria modeli | Teoria dos modelos | Modellteori | Model Teorisi | 模型论