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

תיאורית פונקציונל הצפיפות, תיאורית קשר, תיאורמה, תיאורמה (סרט), תיאורמה אגרגיום, תיאורמת הילד הרע, תיאזיד, תיאזידים, תיאטר אן דר וין, תיאטר דואיסבורג