Questions: ZFC Axioms Overview

Question 1

Which problem in naive set theory most directly motivated the shift to ZFC's restricted comprehension scheme?

• A. The inability to define the empty set
• B. Russell's paradox, which showed unrestricted comprehension is inconsistent
• C. The difficulty of constructing the real numbers from sets
• D. The lack of a way to represent infinite sets

Answer: (B)

Russell's paradox constructs the set R = {x | x ∉ x} and derives a contradiction: R ∈ R iff R ∉ R. This showed that the naive principle 'for any property, there is a set of all things with that property' is inconsistent. ZFC replaces this with the Axiom of Separation, which only permits forming subsets of already-existing sets, blocking the paradox.

Question 2

The axiom of choice is a logical consequence of the other ZF axioms — it can be derived from them without being assumed separately.

• T. True
• F. False

Answer: False

The axiom of choice is independent of the other ZF axioms. Gödel showed that ZF + Choice is consistent (if ZF is), and Cohen showed that ZF + ¬Choice is also consistent. This means the axiom of choice can neither be proved nor disproved from ZF alone, so it must be adopted as a separate assumption — hence 'ZFC' distinguishes it from 'ZF'.

Question 3

Why can ZFC not prove its own consistency, even if ZFC is in fact consistent?

Model answer: By Gödel's second incompleteness theorem, any consistent formal system strong enough to express basic arithmetic cannot prove its own consistency. ZFC satisfies this condition, so if ZFC is consistent, that consistency cannot be established by a proof carried out within ZFC itself.

This is not a defect of ZFC specifically — it applies to all sufficiently powerful axiomatic systems. The result means we accept ZFC as a foundation on pragmatic grounds (it works, avoids known paradoxes, and suffices for all mainstream mathematics) rather than on a proof of its safety from within.