מספר טבעי – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
ינון גלעדי (שיחה | תרומות) |
אין תקציר עריכה |
||
שורה 11:
== הגדרה ובנייה ==
המספרים הטבעיים הם הראשונים שהופיעו כמושגים נבדלים: מספר טבעי מונה את האיברים בקבוצה. אפשר לראות את ההבחנה שיש משהו משותף בקבוצה של שלושה אנשים, שלושה תפוחים או שלושה נמרים כהכללה המתמטית הראשונה שעשו בני האנוש (
במסגרת היציקה המודרנית של המתמטיקה לשפת [[תורת הקבוצות]], הציע הלוגיקאי [[גוטלוב פרגה]] שהמספר שלוש הוא, בפשטות, קבוצת כל הקבוצות שיש בהן שלושה איברים (היינו,
הבניה של [[מערכת פאנו]] מאפשרת לקבוע שמספר טבעי הוא איבר של מערכת פאנו (כל ה[[מודל (לוגיקה מתמטית)|מודלים]] של אקסיומות פאנו הם [[איזומורפיזם (לוגיקה מתמטית)|איזומורפיים]]).
|