Iš tiesų, aksiomatinėje aplinkoje griežtas įrodymo idėja nieko neprideda. Švari matematika, pagal požiūrį, kuris gali būti priskirtas Bourbaki grupei, yra tai, kas įrodyta. Švarus matematikas tapo pripažintu pašaukimu, pasiekiamu per mokymą. Klausimas: Ar yra įrodymai pridėti?
Nieko nepridaro prie įrodymų idėjos.