התייחסו לקטע הבא ואז ענו על השאלה שאחריו באותה שפה כמו הקטע:  מעבר: למעשה, בהגדרה אקסיומטית, קפדנית אינה מוסיפה דבר לרעיון של הוכחה. מתמטיקה טהורה, על פי השקפה שניתן לייחס לקבוצת בורבאקי, היא מה שהוכח. מתמטיקאי טהור הפך למקצוע מוכר, שניתן להשיג באמצעות הכשרה.  שאלה: יש הוכחה נוספת?
לא מוסיף שום דבר לרעיון של הוכחה.