Proofs

Proofs

(alt-text)

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

xkcd updates every Monday, Wednesday, and Friday.