Category:Axioms/Named Axioms/Gödel

From ProofWiki
Jump to navigation Jump to search

This category contains axioms or axiom schemata named for Kurt Friedrich Gödel.

Austrian mathematician who emigrated to the U.S.A. in 1940.

Famous for his first and second incompleteness theorems.

This category currently contains no pages or media.

Retrieved from "https://proofwiki.org/w/index.php?title=Category:Axioms/Named_Axioms/Gödel&oldid=444341"