כל מה שרצית לדעת על מספר סודר:
לחצו כדי להקטין חזרהלחצו להגדלהתצוגה גרפית של כל הסודרים מ-0 עד ω ω {\displaystyle \omega ^{\omega }} בתורת הקבוצות, מספר סודר (באנגלית: ordinal – אורדינל) הוא טיפוס סדר של קבוצה סדורה היטב.
המוטיבציה להגדרת המספרים הסודרים מגיעה מהרצון להכליל את התכונות המועילות של המספרים הטבעיים.
למספרים הטבעיים שני תפקידים עיקריים: הראשון הוא לייצג כמות ("שבעה גמדים") והשני הוא לייצג מקום בסדרה ("הגמד השביעי").
במסגרת תורת הקבוצות מגדירים את המספרים המונים כהכללה של המספרים הטבעיים במובן הראשון, כך שניתן יהיה לייצג גם כמויות אינסופיות.
המספרים הסודרים מוגדרים במטרה להכליל את המובן השני כך שניתן יהיה לדבר על איברים במקומות "אינסופיים" בסדרה.
המספרים הסודרים הראשונים הם המספרים הטבעיים 0, 1, 2, 3,.
.
.
.
לאחריהם מגיע הסודר האינסופי הראשון, ω (אומגה).
ω מתאפיין בכך שהוא "הסודר הקטן ביותר שגדול מכל מספר טבעי".
לאחריו מגיעים הסודרים:ω + 1, ω + 2, …, ω·2, ω·2 + 1, …, ω2, …, ω3, …, ωω, …, ωωω, …, ε0, ….
את רעיון המספרים הסודרים הגה לראשונה אבי תורת הקבוצות, גאורג קנטור, במסגרת עבודתו על קבוצות נגזרות.

נלקח מויקיפדיה

הגדרות נוספות הקשורות למספר סודר:
•תורת הקבוצות
•קבוצות סדורות