set theory studies in logic mathematical logic an
s incompleteness theorems highlighting the limitations of formal systems. Independence Results and Large Cardinals Set theory explores the independence of certain propositions, such as the Continuum Hypothesis, from ZFC axioms. Large cardinal axioms ex