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

'''מערכת פּאָנוֹ''' היא מודל ל[[מספר טבעי|מספרים הטבעיים]], המקיים אקסיומות המנוסחות ב[[שפה מסדר שני]], וכוללות רק שני מושגי יסוד שאינם מוגדרים: ה[[קבוע]] "[[0 (מספר)|0]]", וה[[פעולה יונארית|פעולה היונארית]] "עוקב". משני מושגים אלה מאפשרות האקסיומות לבנות (ב[[אינדוקציה מתמטית|אינדוקציה]]) את פעולות החיבור והכפל. מערכת פאנו היא [[מערכות מספרים|מערכת המספרים]] הבסיסית ביותר, וממנה אפשר לבנות את [[חוג המספרים השלמים|המספרים השלמים]], את [[שדה המספרים הרציונליים|המספרים הרציונליים]], ואת שאר מערכות המספרים. את האקסיומות הציע ה[[מתמטיקאי]] האיטלקי [[ג'וזפה פאנו]] בשנת 1889.