אקסיומת הקבוצה האינסופית

מתוך ויקיפדיה, האנציקלופדיה החופשית

כחלק מתורת הקבוצות האקסיומטית ("הנוקשה") הגדירו אקסיומות בסיס כגון אקסיומת הקיום, אקסיומת ההחלפה, אקסיומת האיחוד ועוד. אחת מהן נקראת "אקסיומת הקבוצה האינסופית".

אקסיומת הקבוצה האינסופית: קיימת קבוצה A כך ש \empty\in A ולכל aA מתקיים S(a)∈A, כאשר S(a) מוגדר להיות S(a)=a ∪ {a} עבור קבוצה a כלשהו, ונקרא העוקב של a.

שפות אחרות