La contundente respuesta negativa la dio Kurt Gödel, cuando anunció, en el histórico Congreso de Königsberg de septiembre de 1930, su famoso "primer teorema de la incompletitud": los sistemas axiomáticos usuales son incompletos, en el sentido de que no pueden probar cada verdad que puede expresarse en su lenguaje.