Finitely Axiomatizable Theory
- Pure Mathematics -
Algebra Dictionary
Definition
A theory that is logically equivalent to a theory given by a finite set of axioms in the same language; that is, its set of consequences equals the closure of some finite axiomatization.