בתשובה לטל כהן, 27/02/03 16:04
מתיוונים 132635
האקסיומה בעייתית רק כשמדובר על מספר אינסופי של קבוצות‏1 (אינסופיות הקבוצות עצמן אינה רלוונטית). בנך וטרסקי אכן קיוו שהפרדוקס שלהם ישכנע אנשים לוותר על האקסיומה, אבל המזימה לא עלתה בידם.

האקסיומה הזו שקולה למספר תוצאות "טבעיות" אחרות:
* הלמה של צורן (בקבוצה עם יחס סדר, אם כל סדרה עולה היא חסומה, אז יש לקבוצה איבר מקסימלי).
* אקסיומת הסדר הטוב (כל קבוצה אפשר לסדר באופן כזה, שלכל תת-קבוצה יש איבר ראשון).

רוב התחומים במתמטיקה יכולים להתפתח פחות-או-יותר באותה צורה בלי להניח את האקסיומה הזו, אלא שזה מסרבל את הניסוחים ולכן מקובל לצרף גם אותה למערכת.

1 הגירסה החלשה מדברת רק על בחירה מתוך אינסוף בן-מניה של קבוצות.

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים