Spahn axioms of choice (history)

September 4, 2012