5Set theory

II Logic and Set Theory



5 Set theory
Here we’ll axiomatize set theory as “just another first-order theory”, with
signatures, structures etc. There are many possible formulations, but the most
common one is Zermelo Fraenkel set theory (with the axiom of choice), which is
what we will study.

Contents