משפט האי⁻אפשרות של ארו (או פרדוקס ארו) הוא משפט מתמטי בתחום הבחירה החברתית (שמהווה חלק מתורת המשחקים) שהוכח על ידי הכלכלן קנת' ג'וזף ארו. לפי המשפט, לא קיימת שיטה הוגנת לשקלול בחירתם של מספר מצביעים הבוחרים בין שלוש אפשרויות או יותר. מתוך ויקיפדיה

פרדוקס EPR, פרדוקס אולברס, פרדוקס איינשטיין⁻פודולסקי⁻רוזן, פרדוקס איסטרלין, פרדוקס אכילס והצב, פרדוקס בוחן הפתע, פרדוקס בורלי⁻פורטי, פרדוקס בן או בת, פרדוקס בנטלי, פרדוקס בני ברק