v1.0.8

Arregla errores varios gracias a la colaboración de Jonathan Liu y Tomás Pietravallo.

v1.0.7

Agrego una parte faltante del Corolario 24.3

v1.0.6

Arreglo errores de tipeo en la demostración del Teorema 23 y en la definición 92 (Cómputo a partir del estado inicial)

v1.0.4

Arreglo de la desigualdad en la definición de subfórmula.

v1.0.3

Arreglo de errores de compilación (tag 1.0.2) y error de tipeo (tag 1.0.3) en el cual el nombre de las variables no coincidía en una definición.

v1.0.1

Arregla errores de tipeo.

v1.0.0

Se arregla la manera en que se realiza una pregunta en la demostración del Teorema de Cantor, se agrega el caso de Gamma inconsistente a la demostración del Teorema de la deducción, y se arreglan errores de tipeo en algunas definiciones.
Esta es la primera versión considerada "estable" (1.x.x) pues el documento ya no sufre, ni sufrirá, grandes cambios en su formato o estilo. Los cambios realizados se limitan a corrección de errores o ampliación de los temas.

v0.0.9

Arregla error en la macro de producto. Debería decir Z_2 <- Z_2 - 1, en lugar de Z_2 <- Z_2 + 1 como decía originalmente (gracias a Tobías Pugliano).
También junta la sección de introducción y colaboración en una sola.

v0.0.8

Cambia el conjunto de pertenencia de t_k en la definición de valuación extendida, y agrega a Santos Braun como colaborador.

v0.0.7

Mejora la demostración del Toerema 18: "Dada alpha fórmula, si alpha es demostrable entonces alpha es tautología".