Interestingly, the theorem is false if the number of voters is infinite http://blog.jyotirmoy.net/2013/10/arrows-impossibility-theor...