The axiom of choice is a mathematical principle asserting that from any collection of non-empty sets, one can select an element from each set.بديهية الاختيار هي إحدى عبارات نظرية المجموعات، وتفترض وجود دالة اختيار على أي عائلة من المجموعات غير الفارغة. أي أنه لأي مجموعة (ربما لا نهائية) من المجموعات غير الفارغة والمتقاطعة مثنى مثنى، توجد مجموعة تحتوي على عنصر واحد بالضبط من كل مجموعة من هذه المجموعة. بالنسبة لعدد محدود من المجموعات تبدو بديهية، لكنها تعطي نتيجة غير بناءة في الحالة اللانهائية: نعلم أن الاختيار ممكن لكن لا نستطيع وصفه. وهي مكافئة لمبدأ الترتيب الكامل لـ تسيرميلو و لمبرهنة زورن.
صيغت لأول مرة بوضوح من قبل إرنست تسيرميلو عام 1904 لإثبات أن أي مجموعة يمكن ترتيبها كليًا. اعترض على هذه العبارة فورًا إميل بوريل وهنري لوبيغ ومحللون بارزون آخرون. في عام 1938، برهن كورت غودل أن AC لا تتعارض مع ZF، وفي عام 1963، أثبت بول كوهين أن نفي AC متوافق أيضًا مع ZF. وهكذا، فإن بديهية الاختيار مستقلة. اليوم، تستخدم الأغلبية الساحقة من الرياضيين AC، رغم وجود مقاربات بديلة (البنائية، فئة التوبوسات) حيث تُجنب.
وظيفيًا، تتيح AC القيام بإنشاءات غير بناءة. عند إثبات النظريات، يُقال غالبًا: «لنختر لكل i عنصرًا x_i من المجموعة A_i» دون تحديد قاعدة الاختيار. هذا سليم إذا قبلنا بديهية الاختيار. بدونها، تكون مثل هذه الاستدلالات غير جائزة. مثال نموذجي: إثبات وجود قاعدة هامل في فضاء متجهي كيفي – نختار متجهات مستقلة خطيًا بالتتابع، وفي الخطوات اللانهائية نحتاج AC. تقنيًا، لا تحدد البديهية كيفية البحث عن الاختيار، بل تفترض وجوده فحسب.
أساس العديد من النظريات في الرياضيات: فبدونها لا يمكن إثبات أن أي فضاء متجهي يمتلك قاعدة، أو أن جداء تيخونوف للفضاءات المتراصة متراص. تُستخدم في التحليل والطوبولوجيا والمنطق.
باستخدام بديهية الاختيار، يمكن رياضيًا «مضاعفة» كرة: تقطيعها إلى عدد منتهٍ من الأجزاء، وتحريكها للحصول على كرتين لهما نفس نصف القطر. تُظهر مفارقة باناخ-تارسكي هذه مدى قوة البديهية وعدم بداهتها.





