בתשובה לדורון שדמי, 05/09/05 0:40
 |
|
 |
||
|
||||
 |
א) אינני יודע איך לדבר על משפט ללא קשר למערכת אקסיומטית. ב) במערכת לא שלמה, טענה ניתנת להכרעה אם יש הוכחה לה או לשלילתה. עד כמה שידוע לי (וזה לא הרבה), אין תכונה משותפת ''מעניינת'' יותר של אותן טענות בכל המערכות הלא-שלמות. |
 |
 |
 |
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |