In 1951, Kenneth Arrow showed that under a reasonable definition of 'fair', there is no fair election system in a society of at least two individuals with at least three options. We'll make this statement into a precise theorem, prove it, and then discuss a generalization. While axioms and choice will both appear in this talk, the Axiom of Choice will not.