Axiomatización
- Pure Mathematics -
Algebra Dictionary
Definición
Un conjunto finito o infinito de axiomas presentado como oraciones fundamentales a partir de las cuales se derivan las consecuencias de una teoría; una axiomatización genera una teoría por cierre bajo consecuencia lógica.