מערכת פאנו – הבדלי גרסאות

עתה, נגדיר [[קבוצה אינדוקטיבית]]: קבוצה אינדוקטיבית היא קבוצה המכילה את 0 (הקבוצה הריקה) וכן, עבור כל איבר בקבוצה, היא מכילה את העוקב לו. אזי, קבוצת המספרים הטבעיים <math>\ \omega</math> מוגדרת כקבוצה האינדוקטיבית הקטנה ביותר (המתקבלת מ[[חיתוך (מתמטיקה)|חיתוך]] של כל הקבוצות האינדוקטיביות).

 

לכל x,y טבעיים נגדיר <math>x \le y</math> [[אם ורק אם]] <math>x \subseteq y</math> .