xkcd2

Proofs


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