1724 - Proofs

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

This is an archival copy of the works from xkcd.com.