In the von Neumann encoding, what is the set representing the natural number 3?
A{3} — a set containing the numeral 3 as an element
B{∅, {∅}} — a two-element set
C{∅, {∅}, {∅, {∅}}} — the set containing 0, 1, and 2
D{{∅}} — a set containing exactly one singleton
In the von Neumann encoding, each natural number n is identified with the set of all its predecessors: 0 = ∅, 1 = {∅} = {0}, 2 = {∅, {∅}} = {0, 1}, 3 = {∅, {∅}, {∅,{∅}}} = {0, 1, 2}. The elegant feature is that |n| = n: the set representing n has exactly n elements. The inductive step x ↦ x ∪ {x} takes any set and adds itself as a new element, so applying it to 2 gives {0, 1} ∪ {2} = {0, 1, 2} = 3.
Question 2 Multiple Choice
The axiom of infinity asserts that an inductive set I exists. How is ω — the set of natural numbers — then obtained?
Aω = I directly, because every inductive set is exactly the natural numbers
Bω is produced by applying the power set axiom to I
Cω is carved out of I using the separation axiom as the intersection of all inductive subsets of I
Dω is obtained by taking the union of all members of I
The axiom of infinity gives us some inductive set I, but I may contain elements beyond what we want in ω. To extract exactly the natural numbers, we apply separation: ω = {x ∈ I : x belongs to every inductive subset of I}. This intersection-of-all-inductive-subsets construction selects only elements that must appear in every inductive set — which are precisely the von Neumann natural numbers 0, 1, 2, ... Without I already in hand from the axiom, separation has nothing to filter, making the two-step process necessary.
Question 3 True / False
The axiom of infinity directly asserts that ω — the complete set of most natural numbers — exists as a set.
TTrue
FFalse
Answer: False
This is an important subtlety. The axiom of infinity asserts only that an *inductive* set I exists: a set with ∅ ∈ I and the closure property x ∈ I ⟹ x ∪ {x} ∈ I. This I may contain extra elements beyond the natural numbers. The set ω is then constructed as the *smallest* inductive set, obtained by applying the separation axiom to intersect all inductive subsets of I. The axiom provides the raw material; separation shapes it into ω precisely.
Question 4 True / False
Without the axiom of infinity, ZF set theory could still prove the existence of infinitely many distinct sets by iterating the other axioms.
TTrue
FFalse
Answer: False
Without the axiom of infinity, ZF is consistent with the universe containing only hereditarily finite sets — the collection V_ω. In this model, every set is finite, and the other axioms (pairing, union, power set, separation, replacement) only construct new finite sets from existing ones; they cannot bootstrap to an infinite set without one being asserted to exist. The hereditarily finite universe V_ω satisfies all of ZF minus infinity, demonstrating that the axiom of infinity is genuinely independent and necessary for infinite mathematics.
Question 5 Short Answer
Explain the two-step process by which ω is formally defined in ZFC, and why both steps are necessary.
Think about your answer, then reveal below.
Model answer: Step 1 (existence): The axiom of infinity asserts that some inductive set I exists — a set with ∅ ∈ I and the closure property x ∈ I ⟹ x ∪ {x} ∈ I. Step 2 (extraction): The separation axiom carves out ω = {x ∈ I : x belongs to every inductive subset of I}, giving the smallest inductive set. Both steps are necessary: without the axiom of infinity, there is no inductive set to apply separation to (V_ω is a model of ZF without infinity); without separation, I might contain extra elements beyond the natural numbers, and we would have no way to eliminate them.
The two-step structure reflects a general pattern in ZFC: existence axioms (infinity, power set) provide new objects, while comprehension/separation axioms shape them into precisely the sets we want. The axiom of infinity is the only axiom that creates something genuinely new — all other axioms only build from what already exists.