עצמאות (לוגיקה מתמטית) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
Felagund-bot (שיחה | תרומות) בוט - מחליף 'דוגמא' ב'דוגמה', 'דיוויד' ב'דייוויד' |
מאין תקציר עריכה |
||
שורה 2:
ישנן כמה דוגמאות מפורסמות לבעיות לא כריעות:
* [[אקסיומת המקבילים]] הקובעת שדרך כל נקודה מחוץ לישר עובר קו מקביל אחד ויחיד - אינה כריעה במסגרת ה[[
* [[אקסיומת הבחירה]] אינה כריעה במסגרת האקסיומות הרגילות של [[תורת הקבוצות האקסיומטית|תורת הקבוצות]], [[אקסיומות צרמלו פרנקל]].
* [[השערת הרצף]] אינה כריעה במסגרת של [[אקסיומות צרמלו פרנקל]] יחד עם [[אקסיומת הבחירה]].
| |||