Teorema De Gödel

Que cualquier sistema formal-lógico (como las matemáticas) contiene proposiciones que no pueden ser probadas como verdaderas o falsas dentro de ese sistema. Por lo tanto, ningún sistema lógico puede ser completo o consistente en el sentido de poder proporcionar pruebas para todos los axiomas en los que se basa. Este teorema desbarató el intento de los matemáticos británicos Alfred North Whitehead (1873-1956) y Bertrand Russell (1872-1970) de desarrollar matemáticas puras a partir de unos pocos principios lógicos, consternó a los científicos que buscaban unas pocas leyes axiomáticas que explicaran lógicamente todo fenómeno natural, y refutó la noción de que la mente humana es un sistema mecánico (determinista).