Hacker News new | ask | show | jobs
by ProfHewitt 1830 days ago
As explicitly stated in the title [Gödel 1931] for a system

for the foundation of mathematics.