גדל אמר שבתורה עשירהמספיק יש הוכחות שאי-אפשר להפריכן או להוכיח.
1.מהי תורה עשירה מספיק?
2. איך אני יודע שהמשפט מתקיים?
3. מהן תורות שאינן עשירות מספיק?
4. איך יודעים אם תורה היא עשירה מספיק או לא?
ראשית, תיקון: גדל אמר שיש טענות שאי אפשר להוכיח ולא להפריך.
ולשאלותיך:
1. אם אפשר לייצג בה את הטבעיים
2. קורא את ההוכחה שלו
3. ראה 1. (ודוגמא: גיאומטריה, כמדומני)
4. אתפלא מאוד אם זה כריע (אך ראה 1)
