 |
עצמאות (לוגיקה מתמטית)
| Wikipedia ויקיפדיה העברית - האנציקלופדיה החופשית | Download this dictionary |
עצמאות (לוגיקה מתמטית)
בלוגיקה מתמטית, טענה שלא ניתן להוכיח אותה, וגם לא את שלילתה, מתוך מערכת נתונה של אקסיומות, היא טענה עצמאית ביחס לאותה מערכת. מערכת הוכחה נתונה היא שלמה, אם אין לה טענות עצמאיות.
| להמשך המאמר ראה Wikipedia.org... |
© מאמר זה משתמש בתוכן מ-ויקיפדיה® וכפוף לרשיון לשימוש חופשי במסמכים של גנו GNU Free Documentation License וכפוף לרישיון Creative Commons ייחוס-שיתוף זהה
