חשבון אינפיניטסימלי/שדה סדור: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
Mathreturn (שיחה | תרומות) |
|||
שורה 74:
שם=חיבור אי שיוונים : <math>\forall x,y,z,w\in \mathbb{F} \ \ (x<y \ \land z<w) \Rightarrow x+z<y+w</math> |
תוכן=
נתון כי <math>x<y </math>. על פי קונססטנטיות לחיבור נקבל <math>x+
נתון כי <math>z<w</math>. על פי קונסיסטנטיות לחבור נקבל <math>y+z<y+w</math>
| |||