Sobre la teoría axiomática

Para que un sistema lógico sea consistente se requiere que se base a una seria de proposiciones primeras que se aceptan sin demostración. Por ejemplo, para el caso de la teoría de conjuntos existen varias teorías axiomáticas, una de ellas , es la Teoria Axiomática ZF. En varias disciplinas puede darse diversos proposiciones equivalentes, enContinúa leyendo “Sobre la teoría axiomática”