בסעיף זה נתמקד במספרים ובתכונותיהם . עניינן של הטענות הראשונות הוא תכונותיהן של פעולות חשבון במערכות מספרים שונות ( ראו למשל נספח , 1 עמ' , 283 וכן סעיפים 3 . 3 , 3 . 2 ב"צעד" זה . ( כפי שניווכח , ניסוח מדויק של תכונות מוכרות אלו דורש שימוש בתבניות פסוק מרובות כמתים . כל הניסוחים שנציע כאן יורחבו ויוכללו בהמשך הלימודים ( ראו למשל פרויקט סיכום . ( _? טע _3 ת קיוכו ( _רחידו-ת ) של _2 ס 9 ר _ניטרלי _כבעולות חיגור _ץל 5 ל פעולת חיבור בשלמים טענת קיום של מספר נייטרלי : קיים מספר שלם , 67 כך שלכל מספר שלם 71 מתקיים . 71 + 61 = 61 + 71 = 71 [ הוספה של 61 למספר שלם כלשהו איכה משכה את המספר [ . הוכחה : די להצביע על המספר השלם 61 = 0 ולהיווכח שאכן 71 + 0 = 71 לכל 71 שלם . בפעולת החיבור בשלמים אין שום מספר שלם נוסף 0-ל שהוא נייטרלי . בניסוח פורמלי : טענת יחידות של מספר נייטרלי : אם עבור כל 71 שלם מתקיים 71 + 61 = 71 אזי . 61 = 0 משימה ; הוכיחו את הטענה . [ רמז : די להתמקד 71-ב מסוים [ . התנסות : נסחו והוכיחו טענות קיום ויחידות של מספר נייטרלי בפעולת החיבור ברציונליים . פעולת כפל בטבעיים טענת קיום...
אל הספר