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.