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