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

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