Patikrinkite žemiau pateiktą eilutę ir atsakykite į klausimą, pateiktą toje pačioje kalba, kaip ir eilutė:  Iš tiesų, aksiomatinėje aplinkoje griežtas nieko neprideda prie įrodymų idėjos. Švari matematika, pagal požiūrį, kurį galima priskirti Bourbaki grupei, yra tai, kas įrodyta. Grynasis matematikas tapo pripažintu pašaukimu, pasiekiamu mokymu.  Klausimas: Ar yra papildomų įrodymų?
Nieko nepridaro prie įrodymų idėjos.