Si A ≠ ∅ {\displaystyle A\neq \emptyset } y además es c.e., entonces A {\displaystyle A} es el rango de una función p.r.
Probar que T O T {\displaystyle TOT} no es c.e.
Enunciar y demostrar el Lema de Lindenbaum
Demostrar que existen modelos no estandar de la aritmética
