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