Godel's Proof
by Ernest Nagel /
2001 / English / PDF
5.5 MB Download
Godel's incompleteness theorem which showed that any robust mathematical system contains statements that are true yet unprovable within the system is an anomaly in 20th-century mathematics.