Endliche Axiomatisierbarkeit

Eine Eigenschaft einer Strukturklasse oder Theorie: Sie ist endlich axiomatisierbar, wenn es eine endliche Menge von Axiomen in der gewählten Sprache gibt, deren Modelle genau die Strukturen der Klasse sind (bzw. deren deduktiver Abschluss der Theorie entspricht).