Hacker News new | ask | show | jobs
by ProfHewitt 1828 days ago
Yes, it is very easy to check that [Gödel 1931] was for a

system for the foundation of mathematics.