Endlich Axiomatisierbare Theorie

- Pure Mathematics -
Algebra Dictionary
Eine Theorie, die logisch äquivalent zu einer Theorie ist, die durch eine endliche Menge von Axiomen in derselben Sprache gegeben ist; d. h. ihre Konsequenzenmenge entspricht dem Abschluss einer endlichen Axiomatisierung.