מערכת פאנו – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
המגיה הנצחי (שיחה | תרומות) מחיקת "מודל מכל עוצמה" - זו תכונה גם של תורות קטגוריות |
|||
שורה 50:
==אריתמטיקת פאנו==
האקסיומות של פאנו, למעט אקסיומת האינדוקציה, מנוסחות ב[[שפה מסדר ראשון]]. ניתן לנסח [[סכמת אקסיומות|סכמה]] (רשימה אינסופית של אקסיומות בעלות אותו מבנה) מסדר ראשון לאקסיומת האינדוקציה, שהיא חלשה יותר מאקסיומת האינדוקציה המלאה.
הגרסה של מערכת פאנו מסדר ראשון נקראת אריתמטיקת פאנו ומסומנת ב '''PA''' (ראשי תיבות של Peano arithmetic) והיא אינה [[תורה קטגורית|קטגורית]]; כלומר, יש לה מודלים רבים.
==קישורים חיצוניים==
| |||