incompleteness of set theory


Godel's Incompleteness Theorems apply to any formal deductive system which includes arithmetic. Since the natural numbers can be defined using set theory, the theorems apply to set theory as well.


This concept has the prerequisites:


  • Extend Godel's Incompleteness Theorems (stated in terms of arithmetic) to axiomatic set theory

Core resources (read/watch one of the following)


See also

-No Additional Notes-