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