מערכת פאנו – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ תיקון: רווחיםx1, סדר בינוויקי [JS] |
|||
שורה 1:
'''מערכת פּאָנוֹ''' היא מודל ל[[מספר טבעי|מספרים הטבעיים]], המקיים אקסיומות המנוסחות ב[[שפה מסדר שני]], וכוללות רק שני מושגי יסוד שאינם מוגדרים:
מערכת פאנו מהווה ניסוח אקסיומטי ראשון למספרים הטבעיים, שעד סוף המאה ה-19 נחשבו יסודיים במידה שאין למעלה ממנה. האקסיומות המתארות את מערכת פאנו מדויקות במידה כזו, שקיימת רק מערכת אחת המקיימת אותן ([[עד כדי (מתמטיקה)|עד כדי]] [[איזומורפיזם (מתמטיקה)|איזומורפיזם]]). לגרסאות חלשות יותר, הכוללות רק אקסיומות ב[[שפה מסדר ראשון]], יש גם מודלים לא סטנדרטיים.
|