incompleteness of set theory

Summary

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.

Context

This concept has the prerequisites:

Goals

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

Core resources (read/watch one of the following)

-Paid-

See also

-No Additional Notes-