Una versión posterior del Teorema de Incompletitud de Gödel lo descarta: