עקרון הסדר הטוב – הבדלי גרסאות

ב[[מתמטיקה]], '''עקרון הסדר הטוב''' קובע שה[[סדר חלקי|סדר]] המקובל על ה[[מספר טבעי|מספרים הטבעיים]] הוא [[סדר טוב]]. משמע שבכל [[קבוצה (מתמטיקה)|קבוצה]] לא [[הקבוצה הריקה|ריקה]] של מספרים טבעיים יש [[חסם (מתמטיקה)|מספר מינימוםמינימלי]] (מספר ראשון). העקרון שקול ל[[אקסיומת האינדוקציה]], ולעיתים בוחרים להתייחס אליו כאל [[אקסיומה]] במקום אקסיומת האינדוקציה. ב[[תורת הקבוצות האקסיומטית]] עקרון הסדר הטוב נובע ישירות מ[[מערכת פאנו#הגדרת המספרים הטבעיים על-פי האקסיומות של תורת הקבוצות|הבנייה של הטבעיים]] כ[[קבוצה אינדוקטיבית]] (ראו [[אקסיומת הקבוצה האינסופית]]).