Proofs

^(alt-text)

Next, let's assume the decision of whether to take the Axiom of Choice is made by a deterministic process ...

Special 10th anniversary edition of WHAT IF?—revised and annotated with brand-new illustrations and answers to important questions you never thought to ask—out now. Order it here!