This is a continuation of my earlier set theory post. In this post, I'll describe the next three axioms of ZF and construct the ordinal numbers. 1. The Previous Axioms As review, here are the natural descriptions of the five axioms we covered in the previous post. Axiom 1 (Extensionality) Two sets are equal if… Continue reading Set Theory, Part 2: Constructing the Ordinals