|
האם זה נכון ש"הקבוצה המלאה" היא כל-כך מלאה עד ש*אף* קבוצה (במובן הקלאסי של המלה, לפני ההרחבה שאתה מציע) לא יכולה לכסות אותה?
אם כך, מדוע המתמטיקאים אינם יכולים לבנות את קבוצת המספרים הממשיים במסגרת תורת הקבוצות, כפי שהם נהגו לעשות במאה השנים האחרונות, ולהמשיך להוכיח שם שמתקבל שדה סדור שלם (="רצף") עם עוצמה כזו-וכזו? כל זה יקרה בארגז החול שלנו; בעולם האמיתי יהיו גם "קבוצות מלאות" שעליהן המתמטיקה אינה יודעת להגיד דבר וחצי דבר (אגב - לא ענית לי עדיין לשאלה האם יש רק קבוצה מלאה אחת, או יותר). בשביל מה לך להחריב למתמטיקאים את המשחק הקטן שלהם, שבתוכו יש משמעות לקרדינלים אינסופיים וכל השאר? אתה יודע שאם נוסיף את הקבוצה המלאה למערכת, המושגים האלה יאבדו משמעות. הנח לאנשים שרוצים דווקא לא להוסיף, לדבוק בתאוריות שלהם.
|
|