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