מערכת האקסיומות של הילברט – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
תגית: תו כיווניות מפורש |
|||
שורה 15:
* [[שייכות (יחס)|'''שייכות''']] (שלושה {{מונחון|יחסים בינאריים|יחסים בין שני איברים}}, שאחד מהם קושר נקודות וישרים, השני - ישרים ומישורים, והשלישי - נקודות ומישורים),
* '''[[חפיפה]]''' (שלושה יחסים בינאריים, שאחד מהם קושר [[קטע (מתמטיקה)|קטעים]], השני - [[זווית|זוויות]], והשלישי - [[משולש|משולשים]]).
לעניין יחס החפיפה, "'''קטע'''" מוגדר כאוסף ([[קבוצה (מתמטיקה)|קבוצת]]) של הנקודות על קו ישר L, הנמצאות בין זוג נקודות a,b שעל הישר; "'''זווית'''" היא
=== רשימת האקסיומות ===
| |||