En sus pruebas, podrá utilizar como justificación cualquier combinación de los cinco axiomas en el sistema, el Teorema 8.1.1 y el Teorema 8.1.2 ya comprobados en este capítulo, y/o cualquiera de los e...En sus pruebas, podrá utilizar como justificación cualquier combinación de los cinco axiomas en el sistema, el Teorema 8.1.1 y el Teorema 8.1.2 ya comprobados en este capítulo, y/o cualquiera de los enunciados de este ejercicio que ya haya probado.
