Also see http://en.wikipedia.org/wiki/Category:Voting_system_criteria for other potentially desirable criteria for voting systems.

Regarding Arrow's theorem, most voting systems regarded as better than first-past-the-post tend to choose to violate the third criteria, commonly called "independence of irrelevant alternatives": adding another candidate shouldn't change the preference order of existing candidates.