Axiomatisierung

Eine endliche oder unendliche Menge von Axiomen, die als grundlegende Sätze präsentiert werden, aus denen die Konsequenzen einer Theorie abgeleitet werden; eine Axiomatisierung erzeugt durch Abschluss unter logischer Konsequenz eine Theorie.