En realidade, nun marco axiomático, o rigor non engade nada á idea de proba. A matemática pura, segundo unha visión que se pode atribuír ao grupo Bourbaki, é o que se demostra. O matemático puro converteuse nunha vocación recoñecida, alcanzable a través do adestramento. Pregunta: engádese unha proba?
non engade nada á idea de proba