Teoría Finitamente Axiomizable
- Pure Mathematics -
Algebra Dictionary
Definición
Una teoría que es lógicamente equivalente a una teoría dada por un conjunto finito de axiomas en el mismo lenguaje; es decir, su conjunto de consecuencias coincide con el cierre de alguna axiomatización finita.