Elementaire klasse
In de modeltheorie, een deelgebied van de wiskundige logica, is een elementaire klasse een klasse die bestaat uit alle structuren die voldoen aan een vaste eerste-ordetheorie.

Wiskundige logica