האם "בתנאי שהמילים לא תתחלנה באות א או ב" מוגדר היטב? אם כן, מהי משמעותו?--[[מיוחד:תרומות/77.127.6.232|77.127.6.232]] 20:48, 1 בספטמבר 2011 (IDT)
== הוכחת AC באמצעות הלמה של צורן ==
חשבתי על דרך הוכחה של אקסיומת הבחירה באמצעות הלמה של צורן, אני חושב שהרעיון הכללי לא יותר מדי מורכב.
השאלה היא, האם אני יכול להגדיר פונקצית בחירה שבוחרת איבר מסויים מקבוצה אחת וזהו? או שזהו כלי שאסור לי להשתמש בו? ברמת העיקרון נראה לי שזה בסדר, כי זו רק קבוצה אחת ולא אוסף אינסופי, אבל אני אשמח לדעת.