ABSTRACT
Our aim here is to state and explain Go¨del’s “incompleteness theorems of set theory and arithmetic.”
Definition 48.1. Formalized (or formal) set theory is the formal theory Θset generated by (Sset,Φset) where Sset = {∈} and Φset consists of the ZFC axioms of set theory viewed as elements of Λset = Λ{∈}.
