In 1931, a young, unknown mathematician named Kurt Gödel presented a proof that a logically complete system of mathematics was impossible.
En 1931, un joven y desconocido matemático llamado Kurt Gödel demostró que un sistema matemático lógicamente completo era imposible.