... 2. 7) אלא גם יצירת מופת: בכל הדורות, חוקרים מתחומים שונים ניסו לחקות את האלגנטיות של "כמה שפחות הנחות, כמה שיותר הוכחות. " המתמטיקאים עצמם שאלו: אולי נשמיט עוד
אקסיומה ונקבל בניין יותר חזק? כאן מתעוררת בעיה: כל חכמולוג יכול להחליט לזרוק איזו
אקסיומה שמתחשק לו, אבל אז יתמוטט כל הבניין. החוכמה היא לבנות מחדש בניין יציב על
האקסיומות שנותרו! כמה מתמטיקאים (הבולט שבהם גאוס, 1777 - 1855) נטפלו
לאקסיומה החמישית (ר' 2. 7) בגיאומטריה האוקלידית: היא ארוכה מדי ואפילו אוקלידס השתמש בה רק כשהיה מוכרח. תחילה ניסו לגזור אותה
מהאקסיומות האחרות ונכשלו, ואז ניסו להניח
אקסיומה חליפית ולבנות עליה את כל הגיאומטריה מהתחלה. אם ייתקלו בסתירות, זו תהיה הפרכת
האקסיומה, אבל אז היא כבר לא תהיה
אקסיומה! למרבה העניין - עוד עדות לגאונותו של אוקלידס - הגיאומטריות החליפיות שנבעו
מהאקסיומה החדשה היו די חולניות אבל עקביות לחלוטין. ... משהו החבוי ביסוד המציאות החומרית! טענה זו, שתגלית מתמטית היא גילוי ולא המצאה, יכולה להסביר את הצלחת התוכנית "פחות הנחות, יותר הוכחות. " הרי לא כל מי שמערער על
אקסיומה הופך לממציא ענף חדש. להיפך, ברוב המקרים יוצא לנו משהו חסר - ערך. אם נזרוק את כל
האקסיומות ונסתפק ב"אלוהים ברא את העולם" או "כל מה שאנחנו רואים זה רק בראש שלנו, " נוכל לבנות על
אקסיומה בודדת כזאת תיאוריה המסבירה כל דבר, אבל מהתיאוריה הזאת, כפי שתראו בהמשך, לא ינבע שום ניבוי חדש. במדע, החוכמה היא להשמיט את
האקסיומה הנכונה - נכון יותר: הלא נכונה - ורק אז, על ...