| מבחינתי כקוראת, הדיון בין ד | מה המכנה המשותף אם יש כזה שהופך אותן לכאלה? וכפי שאמרתי, דבריי לא התייחסו למשפט גדל כלל ועיקר |
|---|---|
| ב בכך, גדל הוכיח את אי האפשרות לבנות את המתימטיקה באופן סיסטמטי על גבי יסודות בטוחים | את זה, באמת, לא ניתן לעשות בגלל גדל |
האם לא ייתכן שמשהו ש"רואים" לא יהיה יכיח - משום שאיננו נכון? לא ספרתי כמה פעמים השתמשתי בביטוי הנ''ל, אבל אני מסכים עם המגיב מעלי - זו מקבילה וירטואלית של מריטת שערות, ולא הייתי נחפז להסיק ממנו על מערכת האמונות שלי.
28| רוב תודות לאורי גוראל־גורביץ' ולאילן עמית על עזרתם בחיבור מאמר זה | בבואנו לחקור את תכונותיהם המתמטיות, אנו מעוניינים — בהתאם לשיטה שהוצגה לעיל — לבחור מספר קטן של אקסיומות מהן נוכל לגזור משפטים וטענות על המספרים האלה, תוך שימוש בכללי־היסק פורמליים |
|---|---|
| אם זה לא הנושא, בכלל אין מקום לגייס את גדל | ב"עוקב" הכוונה "זה שגדול יותר באחד": 0 זה אפס, '0 זה אחת, "0 זה שתיים, וכו' |