| HN Mirror

Y	Hacker News new \| ask \| show \| jobs


	by kyberias 1829 days ago
	It's very easy for you to check this from his 1931 article.

2 comments

Yes, it is very easy to check that [Gödel 1931] was for a

system for the foundation of mathematics.

If you figure this out correctly you can claim the third incompleteness theorem. (If I am right)

Results in [Gödel 1931] depend on existence of proposition

I'mUnprovable. Since, the proposition doesn't exist in

foundations, the results in [Gödel 1931] do not hold for foundations.