Referindu-ne la pasajul de mai jos și apoi răspunzând la întrebarea ulterioară în același limbaj ca și pasajul: Pasajul: De fapt, într-un cadru axiomatic riguros nu adaugă nimic la ideea de dovadă. Matematica pură, potrivit unei viziuni care poate fi atribuită grupului Bourbaki, este ceea ce este dovedit. Matematicianul pur a devenit o vocație recunoscută, realizabilă prin formare. Întrebare: Există o dovadă adăugată?
nu adaugă nimic la ideea de dovadă