modeltheorie

Modeltheorie is een deelgebied van de wiskundige logica en de wiskunde, en handelt over de relaties tussen puur formele uitdrukking en hun betekenis. De modeltheorie is een onderdeel van de wiskundige logica. Het gaat in de modeltheorie om de bestudering van de relaties tussen de eigenschappen van een formele theorie en de eigenschappen van een ander wiskundig systeem. Modeltheorie bestudeert kortgezegd wiskundige modellen.