Liegen mindestens zwei Individuen und mindestens drei Entscheidungsvarianten vor, so existiert kein Mechanismus, der aus den individuellen Entscheidungen eine kollektive Entscheidung ableiten könnte, die allen fünf Axiomen genügt.