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 opfylder de algebraiske gruppeaksiomer.
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.