משפט הסדר הטוב – הבדלי גרסאות

אבי [[תורת הקבוצות]], [[גאורג קנטור]], קבע ב-[[1883]] שמשפט הסדר הטוב נכון כ-“fundamental law of thought”. מכיוון של[[תורת הקבוצות הנאיבית|תורת הקבוצות של קנטור]] לא היה בסיס [[אקסיומה|אקסיומתיאקסיומטי]] מוצק, הוכחה או הפרכה פורמלית של המשפט לא הייתה בגדר האפשר. מתמטיקאים רבים חלקו על קנטור, שכן התקשו לקבל קיום של סדר טוב על קבוצות מסובכות, כגון [[הישר הממשי|קבוצת המספרים הממשיים]].