מערכת האקסיומות של הילברט – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
AlnoktaBOT (שיחה | תרומות) מ רובוט מוסיף: hu:Hilbert-féle axiómarendszer |
מאין תקציר עריכה |
||
שורה 75:
=== תחולה והערות ===
מערכת האקסיומות שהוצגה לעיל מתארת את [[
במקור, הילברט כלל אקסיומה נוספת - "לכל ארבע נקודות על ישר, ניתן לבחור את השמות a,b,c,d כך ש-b בין a ו-c, וגם בין a ו-d; וכן c בין a ו-d ובין b ו-d"; אלא ש- E.H.Moore הראה (ב-1902) שניתן להסיק אקסיומה זו כמשפט משאר המערכת.
|