פילוסופיה - אי שלמות שואפת לאינסוף - חלק 2... יכולים אנו לומר "מש"ל" (מה שצריך להוכיח) או, אם נרצה להשוויץ בלטינית, quod erat demonstrandum (QED). זה מחזיר אותנו לנושא היופי. למה חושבים אנשים שהוכחה כזאת היא יפה? כי על סמך צעדים לוגיים בודדים אנחנו יודעים משהו בוודאות על כל צירופי המספרים מהסוג הזה. לא סתם "מועט המחזיק את המרובה" אלא "מועט המחזיק את האינסוף"! הוכחות כאלה, הנכונות עד לאינסוף, הולידו מגוון שעשועים, שמהם נבעו גם צורות חדשות של יופי וגם הבנות חדשות של המציאות. לאונארדו פיבונצ'י (1170 - 1250) תהה מה יקרה אם ניצור טור מספרים שבו כל מספר הוא ... הקטע הגדול א' - ג' לבין הקטע הקטן ג' - ב' יהיה כמו היחס בין הקו השלם א' - ב' לבין הקטע הגדול א' - ג'. מאז, אנשים מצאו את היחס הזה, "חיתוך הזהב, " בגוף האדם, בפנים יפות, במבנים קדומים, ביצירות אמנות, בצמחים, ביצורים חיים ולבסוף בכל מקום בו רק הסתכלו. כמובן שחלק מה"גילויים" ... - יסוד שמהן נגזור את כל טענות המתמטיקה (כולל הגיאומטריה, שחזרה עכשיו להיות ענף של המתמטיקה). טובי המוחות של המאות ה - 19 וה - 20 נרתמו למרוץ הזה, וגילו הרבה דברים יפים בדרך. ואז הופיע בחור בן עשרים וחמש בשם קורט גדל (1906 - 1978) והוכיח שכל מערכת עקבית של הנחות מתמטיות חייבת ...