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