Kurt Gödel, el famoso lógico austríaco, empeoró las cosas en 1931 con su primer teorema de incompletitud, que dice que cualquier sistema matemático suficientemente poderoso debe contener declaraciones que sean verdaderas pero indemostrables. Gödel se dejó morir de hambre en 1978.