באמא שלכם, כמה טמטום אפשר עוד לדחוס לתוך ענף אחד של מתמטיקה?? כמה? מה קרה לכם שם באוניברסיטאות? איבדתם כל שמץ של בושה? תורת הקבוצות המודרנית היא לא "יסודות המתמטיקה" – היא בור ללא תחתית של חירפון תיאורטי שכל כולו ספין אחד עצום של אקדמאים שבלעו אינסוף ואז התחילו לבעבע שטויות לכל עבר. ZFC זה לא תורה, זה בדיחה רעה. זה חידלון שכלי עטוף באקסיומות.
כן, אני מדבר עליכם, דוקטורים ל"קרדינלים גדולים", למחלת הנפש האקסיומטית הזו. אתם לא מדענים. אתם מְלַחשֵׁי סימנים. פרשני ספרי לחשים בלי שמץ של מציאות. אתם לוקחים נייר, כותבים עליו "יש אינסוף שהוא כל כך גדול שאי אפשר אפילו להגיד עליו כלום", ואז בונים על זה מערכת לוגית שלמה. זה לא ידע – זה טמטום משוקע.
קרדינלים ניתנים למדידה? בלתי נגישים? סופר-קומפקטיים? תגידו, אתם שומעים את עצמכם? זה נשמע כמו ז'רגון של כת, לא של ענף מדעי. כל המונחים האלה זה פשוט אותו חרא, שוב ושוב – "נניח שיש אינסוף גדול מאוד מאוד מאוד מאוד" – וזהו! מפה הכל מותר! מה אתה רוצה להוכיח? תזרוק לשם קרדינל בלתי נגיש – ויאללה, שים חותמת!
אבל הכי מטריף – הכי מטריף! – זה איך שכל העסק עטוף בהילה כזו של "קדושה". כאילו, אם אתה מעז להגיד ש־ZFC זה בלוף – אתה מוקצה. האנשים האלה סוגדים למערכת פורמלית כאילו היא מכתבים משמים. לא מעיזים לשאול: מה המשמעות של "קיום" בכלל בתוך כל המודל הפורמלי הזה? איזה מין מציאות יש לאובייקט שלא רק שאי אפשר להוכיח את קיומו, אלא שאתה צריך להניח אותו בשביל להוכיח את ההנחה של עצמו?!
ומה זה כל הסיפור עם מודלים של ZFC? וואלה, בראבו. אז ב־ZFC אתה מוכיח ש־ZFC קונסיסטנטי, ואז מוסיף אקסיומה שאומרת "נניח שיש קרדינל בלתי נגיש", ואז מוכיח שזה לא סותר... אבל למה זה בכלל מעניין מישהו? זה הכול בולשיט קונסיסטנטי! חבורה של מתמטיקאים יושבים עם עצמם וממציאים דמונים לוגיים חדשים בשביל לשעשע את עצמם!
אבל הכי דוחה? זה שמדובר באנשים עם תעודות, עם קתדראות, עם "יוקרה". אנשים שמרצים בפני סטודנטים מסכנים, מדקלמים אקסיומות כאילו זה עשרת הדברות, בלי שמץ של מושג או הבנה על מה לעזאזל הם מדברים. מדובר בהנדסת הזיה שיטתית. מִינֵי מַגוֹת של המתמטיקה.
ותפסיקו כבר עם השקר הדוחה הזה ש־ZFC "מבסס את כל המתמטיקה". באמת? תראו לי תיאוריית פיזיקה אחת שהייתה זקוקה לקרדינל גדול כדי לתפקד. תראו לי בעיה אמפירית אחת שהייתה תלויה בקרקס האינסופי הזה. כלום. זה פורנוגרפיה מתמטית. זה אוננות לוגית.
ובכלל – כל העסק הזה של "אקסיומות" כבר מזמן הפך לכלי דיכוי. רוצים לחסום שאלה פילוסופית? תגידו שזה "מחוץ לתחום ה־ZFC". רוצים לקדם רעיון מופרע? תוסיפו לו קרדינל. חבורת טכנוקרטים שמנהלים תעשייה של הבלים בתוך מסגרת שרק הם מבינים – או לפחות מעמידים פנים שהם מבינים – כדי שתמיד תרגיש טיפש כשאתה שואל שאלות פשוטות כמו: "למה?"
לסיכום:
ZFC הוא חור שחור של מחשבה. וקרדינלים גדולים הם האלים השקריים של כת הפסאודו-מתמטיקאים של המאה ה־20 וה־21. תורת הקבוצות המודרנית היא לא כלי להבנת המציאות – היא מחלה של השכל הישר.
תתעוררו.