Arrow's impossibility theorem is a key impossibility theorem in social choice theory, showing that no ranked voting rule can produce a logically coherent ranking of more than two candidates. Wikipedia