בתשובה לדורון שדמי, 09/09/05 14:59
מחשבות טרחניות על אקסיומת הקיום של ZF 328636
האייל הצעיר • בתשובה לדורון שדמי יום ו', 9/9/2005, 15:20
"קיימת קבוצה ללא כל תכולה, ואנו בוחרים לכנותה בשם 'הקבוצה-הריקה"'

זו בדיוק ההגדרה, רק שכדי לכתוב אותה בשפה מסדר ראשון, צריך לנסח אותה אחרת:

שלב א': "קיימת קבוצה ללא כל תכולה, ואנו בוחרים לכנותה בשם "הקבוצה-הריקה"'

שלב ב': "קיימת קבוצה ש*אין* לה תכולה, ואנו בוחרים לכנותה בשם 'הקבוצה-הריקה"'

שלב ג: "קיימת קבוצה שכל דבר (לרבות קבוצות) אינו תכולה שלה, ואנו בוחרים לכנותה בשם 'הקבוצה-הריקה"'
מחשבות טרחניות על אקסיומת הקיום של ZF 329552
דורון שדמי • בתשובה להאייל הצעיר יום ג', 13/9/2005, 16:41
שלב ב' ו-ג' מיותרים, כי ''ללא כל תכולה'' מתאר ישירות את אי-התכולה המוחלטת, הקובעת את תכונתה (ושמה) של הקבוצה-הריקה.
מחשבות טרחניות על אקסיומת הקיום של ZF 329572
האייל הצעיר • בתשובה לדורון שדמי יום ג', 13/9/2005, 17:30
בשפה שבה אנחנו עובדים, לא קיימת המילה "תכולה". לכן אני רוצה לנסח את אותה טענה תוך שימוש במילים שקיימות בשפה, כמו "שייך" ו"כל".

אגב, מה דעתך על הפרדוקס של ראסל?
מחשבות טרחניות על אקסיומת הקיום של ZF 331805
דורון שדמי • בתשובה להאייל הצעיר יום ו', 23/9/2005, 15:46
המילים ''תכולה'' ו-''כל'' מבוססות על אותו שורש, כך שאני מדבר בשפתך.
חזרה לעמוד הראשי
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות