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