מערכת האקסיומות של הילברט – הבדלי גרסאות

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