El aspecto más relevante en el "Teorema de Incompletitud" de Gödel, tiene su irmportancia al dar origen a "Teoría de la Computabilidad".