מערכת האקסיומות של הילברט – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ שימוש בתבנית MathWorld |
|||
שורה 80:
האקסיומות של הילברט אינן מהוות [[שפה מסדר ראשון|תורה מסדר ראשון]], משום שהאקסיומות בקבוצה V לא ניתנות לתיאור במסגרת של [[שפה מסדר ראשון]]. משום כך, חשיבותה העיקרית של המערכת היא מתודולוגית, בתרומתה ל[[התוכנית של הילברט|תוכנית הילברט]] לבסס את כל המתמטיקה על [[תורת הקבוצות האקסיומטית|תורת הקבוצות]].
גאומטריה המניחה את כל האקסיומות של הילברט למעט אקסיומת המקבילים נקראת גאומטריה אבסולוטית.
גאומטריה המניחה את אקסיומות השייכות והסדר נקראת גאומטריית הסדר.
==קישורים חיצוניים==
|