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