משפט גדל
בתחילת המאה, נעשה נסיון, לבנות מערכת הוכחה שבעזרתה יהיה ניתן לקבוע לכל טענה מתמטית האם היא נכונה או שגויה. מערכת הוכחה בנוייה על קבוצת אקסיומות שאותן מניחים כנכונות ומכללי היסק שמאפשרים להוכיח טענות על סמך האקסיומות וטענות שכבר הוכחו. דרישה מינימלית ממערכת הוכחה היא שלא ניתן להוכיח טענה ןגם את שלילתה. כמובן שגם אם מצליחים לבנות מערכת כזאת עדיין אפשר להתווכח על האקסיומות, אבל הם קיוו שקבוצת האקסיומות תכלול אקסיומות בודדות, ש"נראות" מאוד נכונות. גודל ( Gödel) הראה שלא משנה איזה קבוצת אקסיומות נבחר, תמיד יהיו טענות מתמטיות שלא נוכל לקבוע האם הן נכונות. בהקשר לדיון - תחום המתמטיקה הוא התחום ה"אוביקטיבי" ביותר ועדיין, גם בו אין אמת מוחלטת.