El programa de David Hilbert, que intentaba una reconstrucción de las matemáticas a partir de axiomas lógicos se probo vano en 1936 gracias a Gödel.