1931: Kurt Gödel prueba sus teoremas de incompletitud los que muestran que cada sistema axiomático para matemáticas es incompleto o inconsistente.

1931: Kurt Gödel prueba sus teoremas de incompletitud los que muestran que cada sistema axiomático para matemáticas es incompleto o inconsistente.