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