תורת הקבוצות האקסיומטית – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
שורה 30:
* [[אקסיומת הזוג הלא סדור]]: אם x ו-y הן קבוצות, אז גם {x,y}, היא קבוצה, אשר המכילה את x ואת y בלבד.
 
אם מוסיפים למערכת ZFC את שלוש האקסיומות האחרונות הנ"ל של צרמלו, וממה שמתקבל מסירים את אקסיומת היסוד ואתאת אקסיומת ההחלפה ואת אקסיומת הבחירה (וכן מרשים שלא כל איבר שבקבוצה יהיה בעצמו קבוצה), אז מתקבלת המערכת המקורית ההיסטורית (Z) של צרמלו.
 
==קישורים חיצוניים==