הבדלים בין גרסאות בדף "גאומטריה סינתטית"

מ
הוספת קישור לריגורוזי
מ (בוט החלפות: \1ליניארי)
מ (הוספת קישור לריגורוזי)
* [[אקסיומה|אקסיומות]] הם טיעונים על הרעינות הפרימיטיביים הללו, לדוגמה '''כל שתי נקודות ניתנות לקישור באמצעות קו ישר אחד בלבד''' (ניסוח חלופי: '''דרך כל שתי נקודות עובר רק קו ישר אחד''').
 
עבור סט התחלתי של אקסיומות, סינתזה מתבצעת כתהליך הדרגתי וזהיר של בנייה לוגית. כאשר תוצאה משמעותית מוכחת ריגורוזית[[ריגורוזי]]ת, היא זוכה לשם [[משפט (מתמטיקה)|משפט]].
 
כל סט התחלתי של אקסיומות מוביל למערכת לוגית אחרת, ובמקרה של גאומטריה, סטים שונים של אקסיומות מובילים לגאומטריות שונות.