בתשובה להאייל הצעיר, 03/10/05 18:33
יסודות שפת המתמטיקה 334707
דווקא את foundation?
יש לשים לב שאקסיומת האינסוף כבר מכילה את ההנחה שיש קבוצה ריקה. אם היינו מנסחים אותה בלי הקבוע המסמל את הקבוצה הריקה {}, זה כנראה היה נראה ככה:
"קיימת קבוצה N כך שאם X היא קבוצה ללא איברים אז X שייך ל-N וגם
אם Y שייך ל-N אז Y איחוד {Y} שייך ל-N."

כשמנסחים את זה ככה אני לא רואה את הסתירה המיידית.

מצד שני, קיום קבוצה כלשהי + אקסיומת ההפרדה => קיימת קבוצה ריקה.

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

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