Trong thực tế, trong một thiết lập tiên đề nghiêm ngặt không thêm gì vào ý tưởng của bằng chứng. Toán học thuần túy, theo một quan điểm có thể được gán cho nhóm Bourbaki, là những gì được chứng minh. Toán học thuần túy đã trở thành một nghề nghiệp được công nhận, có thể đạt được thông qua đào tạo. Câu hỏi
không thêm gì vào ý tưởng của bằng chứng