שיחה:תורת הקבוצות/תורת הקבוצות האקסיומטית

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי
קפיצה לניווט קפיצה לחיפוש

הקבוצה הריקה[עריכה]

בנציון יעבץ האם תוכל לכתוב איך מוכיחים את קיומה במסגרת האקסיומות? לא הצלחתי להשתמש באקסיומת ההחלפה כי אם האיבר לא שייך לשום קבוצה אז הוא לא שייך לתמונת הפונקציה. (כלומר אם כל x לא שייך לקבוצה, אז אי אפשר להוכיח שקיימת קבוצה ששום איקס לא שייך לה).--213.8.112.230 09:39, 6 במרץ 2022 (IST)[תגובה]

מצאתי את הפיתרון. ההוכחה היא על ידי שמניחים קיום איבר שכל X אינו שייך לו והוא שייך לקבוצה כלשהי על פי אקסיומת ההחלפה. ת--213.8.112.230 19:07, 6 במרץ 2022 (IST)[תגובה]