# מערכת פאנו

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

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

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

|  |
| --- |
|
בערך זה נעשה שימוש בסימנים מוסכמים מתחום המתמטיקה. להבהרת הסימנים ראו סימון מתמטי. |

ל**מערכת פאנו** שלושה מרכיבים - קבוצה WIKINIUM\_MATH\_PH\_0 , קבוע WIKINIUM\_MATH\_PH\_2 , ופעולה WIKINIUM\_MATH\_PH\_4 , המקיימים את האקסיומות הבאות (בעברית נקרא לפעולה זו "פעולת העוקב"):

1. קיים WIKINIUM\_MATH\_PH\_6 כך שלכל WIKINIUM\_MATH\_PH\_8 לא מתקיים WIKINIUM\_MATH\_PH\_10 (כלומר, WIKINIUM\_MATH\_PH\_12 הוא איבר ראשון במערכת).
2. לכל שני איברים WIKINIUM\_MATH\_PH\_14 , אם WIKINIUM\_MATH\_PH\_16 אז גם WIKINIUM\_MATH\_PH\_18 (כלומר - הפונקציה WIKINIUM\_MATH\_PH\_20 חד חד ערכית).
3. תת-הקבוצה היחידה WIKINIUM\_MATH\_PH\_22 המקיימת את התכונות
	* WIKINIUM\_MATH\_PH\_24 , ו-
	* לכל איבר WIKINIUM\_MATH\_PH\_26 , אם WIKINIUM\_MATH\_PH\_28 אז גם WIKINIUM\_MATH\_PH\_30 ,

היא WIKINIUM\_MATH\_PH\_32 עצמה. (זוהי אקסיומת האינדוקציה).
המספר 1 מוגדר במערכת הזו כעוקב של אפס, 2 מוגדר כעוקב של 1, וכן הלאה. לאחר שמגדירים את פעולת החיבור, אפשר לראות בפעולת העוקב הוספת אחד, כלומר WIKINIUM\_MATH\_PH\_34 . האקסיומה השלישית, המאפשרת להגדיר ולהוכיח טענות באינדוקציה, היא ליבה של המערכת. כיוון שהאקסיומה מונה על כל תת-קבוצה WIKINIUM\_MATH\_PH\_36 , היא אינה כתובה בשפה מסדר ראשון. בתורת המודלים וההוכחות הפורמליות קל יותר לנתח מערכות מסדר ראשון, ואכן קיימת גרסה המחליפה את האקסיומה השלישית בסכמת אקסיומות, כדלקמן.

**3'**. לכל נוסחה WIKINIUM\_MATH\_PH\_38 בשפה, קיימת האקסיומה

 WIKINIUM\_MATH\_PH\_40
כאשר WIKINIUM\_MATH\_PH\_42 הוא קיצור עבור WIKINIUM\_MATH\_PH\_44 .

בשפה מסדר ראשון לא ניתן למנות על "כל קבוצה", כפי שעושה האקסיומה השלישית. סכימת האקסיומות, הכוללת מספר בן-מניה של אקסיומות מסדר ראשון (אחת לכל נוסחה), מבטאת את אותה טענה, אבל מסתפקת בקבוצות שהן, במובן של הלוגיקה הפורמלית, ניתנות להגדרה. האקסיומה קובעת שאם WIKINIUM\_MATH\_PH\_46 מקיים תכונה מסוימת, ולכל WIKINIUM\_MATH\_PH\_48 , אם WIKINIUM\_MATH\_PH\_50 מקיים אותה אז גם WIKINIUM\_MATH\_PH\_52 מקיים אותה, אז התכונה מתקיימת לכל WIKINIUM\_MATH\_PH\_54 .

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

## הגדרת פעולות החשבון

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

החיבור, שסימנו WIKINIUM\_MATH\_PH\_56 , הוא פעולה בינארית המוגדרת באופן הבא:

* בסיס: לכל x טבעי מתקיים WIKINIUM\_MATH\_PH\_58 .
* השלב הרקורסיבי: לכל x, y טבעיים מתקיים WIKINIUM\_MATH\_PH\_60 .

הכפל, שסימנו WIKINIUM\_MATH\_PH\_62 , הוא פעולה בינארית המוגדרת באופן הבא:

* בסיס: לכל WIKINIUM\_MATH\_PH\_64 טבעי מתקיים WIKINIUM\_MATH\_PH\_66 .
* השלב הרקורסיבי: לכל WIKINIUM\_MATH\_PH\_68 טבעיים מתקיים WIKINIUM\_MATH\_PH\_70 .

באמצעות פעולת החיבור ניתן להגדיר את יחס הסדר המוכר על הטבעיים: לכל שני מספרים טבעיים WIKINIUM\_MATH\_PH\_72 מתקיים WIKINIUM\_MATH\_PH\_74 אם ורק אם קיים מספר טבעי WIKINIUM\_MATH\_PH\_76 כך ש- WIKINIUM\_MATH\_PH\_78 .

מהגדרה זו מקבלים שהעוקב של WIKINIUM\_MATH\_PH\_80 , WIKINIUM\_MATH\_PH\_82 הוא איבר יחידה ביחס לכפל (לכל x טבעי מתקיים: WIKINIUM\_MATH\_PH\_84 ), וסימונו המקובל הוא 1. מהגדרת החיבור נובע WIKINIUM\_MATH\_PH\_86 . לפי הסימון החדש פעולת החיבור מוגדרת לפי WIKINIUM\_MATH\_PH\_88 ופעולת הכפל מוגדרת WIKINIUM\_MATH\_PH\_90 .

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

## מודלים

ריכרד דדקינד הוכיח שמערכת האקסיומות של פאנו (עם אקסיומת האינדוקציה מסדר שני) היא קטגורית, כלומר: כל שני מודלים של מערכת זו הם איזומורפיים. בניסוח פורמלי יותר: אם WIKINIUM\_MATH\_PH\_92 ו- WIKINIUM\_MATH\_PH\_94 הם שני מודלים של מערכת פאנו, אז הפונקציה WIKINIUM\_MATH\_PH\_96 , המוגדרת (על-פי אקסיומת האינדוקציה של המערכת הראשונה) על ידי WIKINIUM\_MATH\_PH\_98 , היא איזומורפיזם בין המבנים.

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

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

### הגדרת המספרים הטבעיים על-פי האקסיומות של תורת הקבוצות

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

* נגדיר את המספר WIKINIUM\_MATH\_PH\_100 כקבוצה הריקה WIKINIUM\_MATH\_PH\_102 .
* לכל קבוצה A נגדיר את העוקב של A על ידי: WIKINIUM\_MATH\_PH\_104

בדרך זו נקבל:

 WIKINIUM\_MATH\_PH\_106
 WIKINIUM\_MATH\_PH\_108
 WIKINIUM\_MATH\_PH\_110
 WIKINIUM\_MATH\_PH\_112
וכן הלאה.
עתה, נגדיר קבוצה אינדוקטיבית: קבוצה אינדוקטיבית היא קבוצה המכילה את 0 (הקבוצה הריקה) וכן, עבור כל איבר בקבוצה, היא מכילה את העוקב לו. אזי, קבוצת המספרים הטבעיים WIKINIUM\_MATH\_PH\_114 מוגדרת כקבוצה האינדוקטיבית הקטנה ביותר (המתקבלת מחיתוך של כל הקבוצות האינדוקטיביות).

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

## קישורים חיצוניים

* מערכת פאנו, באתר MathWorld (באנגלית)
* First Order Arithmetic
* מערכת פאנו, באתר אנציקלופדיה בריטניקה (באנגלית)

## הערות שוליים