Sea una teoría formal aritmética y recursiva ω-consistente.