Quantum Computing since Democritus

by Scott Aaronson

Axiom of Choice. It says that, if you have a (possibly infinite) set of sets, then it's possible to form a new set by choosing one item from each set.