modelteori
Modelteori er en gren af matematisk logik, der beskæftiger sig med forholdet mellem aksiomsystemer og mængdeteoretiske strukturer, som er modeller for disse, dvs. opfylder alle aksiomerne. Et eksempel er de hele, de rationale tal og de reelle tal, der alle