השאלה היא, האם אני יכול להגדיר פונקצית בחירה שבוחרת איבר מסויים מקבוצה אחת וזהו? או שזהו כלי שאסור לי להשתמש בו? ברמת העיקרון נראה לי שזה בסדר, כי זו רק קבוצה אחת ולא אוסף אינסופי, אבל אני אשמח לדעת.
:האמת שאני לא יודע. --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
:אקסיומת הבחירה מבטיחה קיום של פונקציית בחירה, בהינתן משפחה של קבוצות. בפרט אם במשפחה יש רק קבוצה אחת, תקבל את מה שרצית להשתמש בו (בחירה מתוך קבוצה אחת). יתר על כן, על מנת לבחור :איבר מתוך קבוצה אחת (או מספר סופי של קבוצות), אין צורך אפילו באקסיומת הבחירה.
:באמת הוכחת AC באמצעות הלמה של צורן אינה מסובכת מדי, הכיוון ההפוך קשה יותר (דורש כלים שלא נלמדים במסגרת "מתמטיקה בדידה").
== בלי הגבלת הכלליות ==