It doesn't prove that any of those criteria are necessary. Independence of Irrelevant Alternatives, for instance, is especially problematic.
Finally, Condorcet methods don't even fail Arrow's Theorem when there's actually a Condorcet Winner (which is pretty much always given enough voters).
It doesn't prove that any of those criteria are necessary. Independence of Irrelevant Alternatives, for instance, is especially problematic.
Finally, Condorcet methods don't even fail Arrow's Theorem when there's actually a Condorcet Winner (which is pretty much always given enough voters).