5.1.4.1. אקסיומותאקסיומת ההצבה - האקסיומה הראשונה שנציג הינה אקסיומת ההצבה. אקסיומה זו מעט מסובכת להבנה בהתקלות ראשונה, ולכן נסביר אותה בפירוט. דגש ראשון: את אקסיומת ההצבה קוראים מימין לשמאל.
דוגמא 1:
נביט בחלק הימני: לחילופין, אם נתון רק הצד השמאלי: ניסוח חלופי לאקסיומת ההצבה: מדוע לא ניסחנו טענה בסגנון
אקסיומת skip - אקסיומות
אריתמטיות: כל טענה מהצורה
אין תגובות!
|
תוכן העניינים:
קישורים רלוונטיים:שיתוף: |