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