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.