בתשובה לאייל מזדמן, 28/08/03 8:29
שאלה מטא-מתמטית 166803
הוא אשר אמרתי: "אפשר להגיע במספר סופי של פעולות עוקב מ- 0" זה לא משפט בשפה מסדר ראשון, ולכן אקסיומת האינדוקציה לא חלה עליו.

(וכל מערכות פאנו מסדר שני איזומורפיות זו לזו).

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים