מערכת פאנו

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

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

הגדרה פורמלית

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

המספר 1 מוגדר במערכת הזו כעוקב של אפס, 2 מוגדר כעוקב של 1, וכן הלאה. לאחר שמגדירים את פעולת החיבור, אפשר לראות בפעולת העוקב הוספת אחד, כלומר . האקסיומה השלישית, המאפשרת להגדיר ולהוכיח טענות באינדוקציה, היא ליבה של המערכת. כיוון שהאקסיומה מונה על כל תת-קבוצה , היא אינה כתובה בשפה מסדר ראשון. בתורת המודלים וההוכחות הפורמליות קל יותר לנתח מערכות מסדר ראשון, ואכן קיימת גרסה המחליפה את האקסיומה השלישית בסכמת אקסיומות, כדלקמן. 

3'. לכל נוסחה  בשפה, קיימת האקסיומה 

כאשר  הוא קיצור עבור . 

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

המערכת הכוללת את שתי האקסיומות 1 ו-2 לעיל ואת סכימת האקסיומות 3' קרויה אריתמטיקת פאנו, ומסומנת בדרך-כלל באותיות PA.

הגדרת פעולות החשבון
אקסיומת האינדוקציה מאפשרת להגדיר פונקציות באופן רקורסיבי. 

החיבור, שסימנו , הוא פעולה בינארית המוגדרת באופן הבא: 
 בסיס: לכל x טבעי מתקיים .
 השלב הרקורסיבי:  לכל x, y טבעיים מתקיים  .

הכפל, שסימנו , הוא פעולה בינארית המוגדרת באופן הבא:
 בסיס: לכל  טבעי מתקיים .
 השלב הרקורסיבי:  לכל  טבעיים מתקיים  .

באמצעות פעולת החיבור ניתן להגדיר את יחס הסדר המוכר על הטבעיים: לכל שני מספרים טבעיים   מתקיים  אם ורק אם קיים מספר טבעי  כך ש-.

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

אפשר להוכיח (באינדוקציה) שהמערכת מקיימת גם את כל האקסיומות המגדירות חוג למחצה.

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

מודלים לא סטנדרטיים 

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

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

בדרך זו נקבל: 
 

וכן הלאה.

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

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

קישורים חיצוניים
 
 First Order Arithmetic
 

תורת המספרים
אקסיומות

hu:Giuseppe Peano#A természetes számok Peano-axiómái