1724: Proofs

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