Riferirsi al passaggio seguente e poi rispondere alla domanda successivamente nello stesso linguaggio del passaggio: Passaggio: In realtà in un contesto assiomatico rigoroso non aggiunge nulla all'idea di prova. La matematica pura, secondo una visione che può essere attribuita al gruppo Bourbaki, è ciò che è provato. Il matematico puro è diventato una vocazione riconosciuta, raggiungibile attraverso la formazione. Domanda: C'è una prova aggiunta?
Non aggiunge nulla all'idea di prova.