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).

Prinzip

Eine endliche Beschreibung genügt, um die Klasse innerhalb der Ausdrucksmittel der Sprache vollständig zu erfassen; die Endlichkeit der Axiomemenge ist die entscheidende Beschränkung, unabhängig davon, ob die Theorie entscheidbar oder kategorial ist.

Demonstration

Die Klasse der Gruppen ist endlich axiomatisierbar durch eine kurze endliche Liste von Gruppenaxiomen (Assoziativität, neutrales Element, Inverse). Im Gegensatz dazu ist die Peano‑Arithmetik in der Ersten Stufe nicht endlich axiomatisierbar, weil das Induktionsschema unendlich viele Instanzen erfordert und sich nicht auf endlich viele Axiome zusammenfassen lässt.

Fehlanwendung

Anzunehmen, endliche Axiomatisierbarkeit impliziere Entscheidbarkeit, Kategorialität oder Modellvollständigkeit; dies sind unabhängige Eigenschaften, und eine endliche Axiomemenge kann dennoch eine unentscheidbare oder nichtkategoriale Klasse definieren.

Konsequenz

Endliche Axiomatisierbarkeit liefert oft prägnante Präsentationen, erleichtert die Darstellung der intendierten Klasse und kann einige metatheoretische Analysen vereinfachen; sie beeinflusst auch die Anwendbarkeit von Kompaktheit oder Vollständigkeitsargumenten.

Umkehrung

Nicht‑endliche (infinit) axiomatisierbare Klassen benötigen unendliche Axiomenschemata oder reichere Sprachen, um präzise erfasst zu werden; solche Klassen entstehen häufig aus Abschluss‑ oder kombinatorischen Bedingungen, die sich nicht endlich komprimieren lassen.

Abgrenzung

Hängt von der gewählten Sprache und Signatur ab sowie davon, ob man Schemata, zweistufige Axiome oder infinitäre Formeln zulässt; eine in erster Ordnung nicht endlich axiomatisierbare Klasse kann in einer erweiterten Sprache endlich axiomatisierbar werden.

Semantische Spannung

Spannung zwischen endlicher Axiomatisierbarkeit und der ‚Natürlichkeit‘ der Axiome: Eine endliche Axiomemenge kann künstlich oder weniger einsichtig sein als eine unendliche, schematisch motivierte Axiomatisierung, die die intendierten Strukturen besser widerspiegelt.

Synthese

Endliche Axiomatisierbarkeit kennzeichnet, wann eine Klasse in einer gegebenen Sprache eine knappe endliche Darstellung zulässt: sie ist eine syntaktische Kompaktheitseigenschaft, die mit der Sprachwahl und anderen modelltheoretischen Merkmalen interagiert, aber nicht allein das berechenbare oder klassifikatorische Verhalten bestimmt.