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