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, en... Continue Reading →