アローの不可能性定理
アローの不可能性定理（アローのふかのうせいていり、）、アローの（一般）可能性定理、または単にアローの定理とは、社会的選択理論におけるの一つである。この定理によれば、投票者に3つ以上の独立した選択肢が存在する場合、如何なる選好投票制度（社会的厚生関数）であっても、個々人の選好順位を共同体全体の（完備かつ推移的な）順位に変換する際に、特定の評価基準（定義域の非限定性、非独裁性、パレート効率性、無関係な選択肢からの独立性）を同時に満たすことは出来ない。この定理はギバード＝サタースウェイトの定理を導くことで知られ、投票理論ではよく引用される。アローの定理という名称は経済学者でありノーベル経済学賞受賞者であるケネス・アローに因む。アローは博士論文でこの定理を示し、後に著書『』で論じて普及を見た。
要約すると、この定理によれば次の5つの「公正さ」の基準を常に同時に満たすような選好順位選挙制度は設計できない。
なお、は順位よりも多くの情報が関わるためこの定理では扱っていない。但しはアローの定理をその場合について拡張している。
アローが採った公理的手法は、考えうるあらゆる（選好をベースとした）ルールを統一された枠組みの中で扱うことが出来る。その意味で、個々のルール毎に調べるしかなかった過去の投票理論とは一線を画しており、社会的選択理論の現代的なパラダイム はこの定理から始まったと言える。
この定理と現実世界の関係については議論がある。アロー自身は「大半の制度は常にうまくいかない訳ではない。私が証明したのは、全てがうまく行かないことが時にはあると言うことだ」と述べている。