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

הקבוצה הריקה

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

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