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