theorem)、アローの(一般)可能性定理、または単にアローの定理とは、社会的選択理論における不可能性定理(英語版)の一つである。パレート効率性、無関係な選択肢からの独立性)を同時に満たすことは出来ない。この定理はギバード=サタースウェイトの定理を導くことで知られ、投票理論ではよく引用される。アローの定理という名称は経済学者でありノーベル経済学賞受賞者であるケネス・アローに因む。アローは博士論文でこの定理を示し、後に著書『社会的選択と個人的評価(英語版)』[1]で論じて普及を見た。要約すると、この定理によれば次の5つの「公正さ」の基準を常に同時に満たすような選好順位選挙制度は設計できない。全ての投票者が選択肢Xを選択肢Yよりも好むとき、集団全体もまたXをYよりも好む(満場一致)独裁者が存在しない。b>cなら必ずa>c)なお、レーティング投票(英語版)は順位よりも多くの情報が関わるためこの定理では扱っていない[2][3]。ギバードの定理(英語版)はアローの定理をその場合について拡張している。アローが採った公理的手法は、考えうるあらゆる(選好をベースとした)ルールを統一された枠組みの中で扱うことが出来る。この定理から始まったと言える[4][5]。この定理と現実世界の関係については議論がある。アロー自身は「大半の制度は常にうまくいかない訳ではない。私が証明したのは、全てがうまく行かないことが時にはあると言うことだ」と述べている[6]。