תורת הקבוצות האקסיומטית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
←האקסיומות של תורת הקבוצות: "יצויין כי" מיותר |
||
שורה 14:
להלן נדון בעיקר במערכת ZFC, בהיותה השימושית ביותר (והמקובלת ביותר) במתמטיקה.
שבע האקסיומות של ZFC רשומות להלן. במקורן נוסחו האקסיומות כמחרוזות של סמלים לוגיים בשפה לוגית נוקשה; להלן הן תוצגנה לפי משמעותן האינטואיטיבית בשפה בעברית.
# [[אקסיומת ההיקפיות]]: שתי קבוצות הן שוות אם ורק אם יש להן אותם איברים.
| |||