משפט (מתמטיקה) – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
איך מנקדים?
שדדשכ (שיחה | תרומות)
מ ככה
שורה 12:
לא כל הטענות המתמטיות המנוסחות כמשפט אכן נקראות "משפט". נהוג לקרוא "משפט" רק לטענות מעניינות או בעלות ערך. כמובן שזוהי הגדרה מעורפלת ומאוד לא מתמטית, ואכן, אין כלל מדויק הקובע מתי נקראת טענה כלשהי "משפט".
 
לעתים נהוג להשתמש במילה "[[למה (מתמטיקה)|למהלֶ‏מה]]" (למד בסגול) כדי לציין משפט שהוא טענת עזר, ומוכח כחלק מהוכחה רחבה יותר. כמובן שיש למות שיש להן ערך משל עצמן, דוגמת [[הלמה של צורן]].
 
כמו כן נהוג לכנות בשם "מסקנה" תוצאה שנובעת ישירות ממשפט כלשהו, ובשם "טענה" כדי לכנות טענות כלליות שאינן מעניינות מספיק כדי להיקרא "משפט". ההבדל, כאמור, הוא [[טרמינולוגיה|טרמינולוגי]] בלבד ואין לו השלכות של ממש.