שיחה:מונה אי נשיג

"קל לראות כי למשל כל תורת הקבוצות, למעט אקסיומת האינסוף, מתקיימת ב- X. כמו כן, אם נוותר על הסכימה של אקסיומת ההחלפה ובמקומה נשתמש באקסיומת ההפרדה, החלשה יותר, נקבל שהקבוצה XX היא מודל לגרסה הזו לתורת הקבוצות."

למעט אקסיומת האינסוף וגם אקסיומות ההחלפה, לא? גדי אלכסנדרוביץ' - שיחה 21:16, 3 ביולי 2018 (IDT)תגובה