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…