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

במתמטיקה **מספר טבעי** הוא מספר שלם חיובי, המתאר מספר איברים בקבוצה סופית, כמו 1,2,3 או כמו 72. מקובל לסמן את **קבוצת המספרים הטבעיים** באות {\mathbb {N}}. המספר אפס נכלל בין המספרים הטבעיים בהגדרות אחדות, ואינו נכלל בהגדרות אחרות.

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

* **מנייה**, למשל: יש שלושה תפוחים על השולחן.
* **סדר**, למשל: זו העיר השלישית בגודלה במדינה.

תכונותיהם של המספרים הטבעיים נחקרות במסגרת תורת המספרים.

קבוצת המספרים הטבעיים היא אינסופית ובת מנייה, כלומר עוצמתה היא\!\,\aleph \_{0} (אָלֶף אֶפֶס).

הגדרה ובנייה
------------

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

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

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

פון נוימן הציע בנייה מפורשת, המקובלת היום כייצוג סטנדרטי של המספרים הטבעיים בתוך תורת הקבוצות האקסיומטית: המספר 0 מוגדר כקבוצה הריקה, וכל מספר \ n מוגדר כקבוצה {\displaystyle \ n=\{0,1,\dots ,n-1\}}. כך למשל, {\displaystyle \ 4=\{0,1,2,3\}=\{\phi ,\{\phi \},\{\phi ,\{\phi \}\},\{\phi ,\{\phi \},\{\phi ,\{\phi \}\}\}\}}.

מספרים טבעיים ראשוניים ופריקים
------------------------------

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

מספר טבעי גדול מ-1 שאינו ראשוני נקרא מספר פריק.

המספר 1 אינו נחשב ראשוני, וגם לא פריק.

לפי "המשפט היסודי של האריתמטיקה", שהוצג לראשונה עם הוכחה, על ידי אוקלידס, כל מספר טבעי גדול מ-1 אפשר להציג באופן יחיד כמכפלה של מספרים ראשוניים (למשל: \ 28 = 7\times 2\times 2).

ראו גם
------

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

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

| מיזמי קרן ויקימדיה |
| --- |
| ויקימילון ערך מילוני בוויקימילון: **מספר טבעי** |
| ויקישיתוף תמונות ומדיה בוויקישיתוף: **מספר טבעי** |

* מידע על מספרים טבעיים
* מספר טבעי, באתר MathWorld (באנגלית)
* סדרת המספרים הטבעיים באתר OEIS – האנציקלופדיה המקוונת לסדרות של מספרים שלמים

| מערכות מספרים |
| --- |
| מספרים | המספרים הטבעיים \mathbb{N} (מערכת פאנו) • חוג המספרים השלמים \mathbb{Z} (מספרים חיוביים ושליליים, מספר שלם) • שדה המספרים הרציונליים \mathbb{Q} (מספר רציונלי, מספר אי-רציונלי) • שדה המספרים הממשיים \mathbb{R} (הישר הממשי, מספר ממשי) • שדה המספרים המרוכבים \mathbb{C} (המישור המרוכב, מספר מרוכב, מספר מדומה) |
| הרחבות של חוג המספרים השלמים | חוג השלמים של גאוס \ \mathbb{Z}[i] • חוג השלמים האלגבריים \ \overline{\mathbb{Z}} • חוג השלמים של אייזנשטיין {\displaystyle \ \mathbb {Z} [\omega ]} |
| הרחבות של שדה המספרים הרציונליים | שדה מספרים • שדה המספרים הניתנים לבנייה • שדה המספרים האלגבריים \ \overline{\mathbb{Q}} (מספר אלגברי, מספר טרנסצנדנטי) • שדה המספרים ה-p-אדיים \mathbb{Q}\_p (מספר p-אדי) • שדה ציקלוטומי |
| מעבר למרוכבים | אלגברת קווטרניונים (אלגברת הקווטרניונים של המילטון \ {\mathbb{H}}) • אלגברת אוקטוניונים (אלגברת האוקטוניונים של קיילי \ {\mathbb{O}}) • אלגברות קיילי-דיקסון |

|  |
| --- |
| **מספרים טבעיים** |
| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |
| 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 |
| 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 |
| 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 |
| 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 |
| 50 | 51 | 52 | 53 | 54 |
| 

|  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 60 | 70 | 80 | 90 | 100 | 200 | 300 | 400 | 500 |

|  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- |
| 1,000 | 2,000 | 10,000 | 100,000 | 600,000 | 1,000,000 |

 |
| **אחרים** |
| שמות מספרים | ...0.999 | 666 | 1089 | 1729 | קבוע קפרקר | גוגול | גוגולפלקס | מספר גרהאם |

|  |  |
| --- | --- |
| בקרת זהויות עריכת הנתון בוויקינתונים | 
* NLI: 987007538748705171
* BnF: cb120988295 (data)
* GND: 4041357-3
* LCCN: sh85093214
* LNB: 000112174
* NKC: ph124920

 |