Käsikirjoitus: Itse asiassa aksioomaattisessa ympäristössä tiukka ei lisää mitään todisteiden idealle. Puhdas matematiikka, Bourbaki-ryhmän näkemyksen mukaan, on se, mikä on todistettu. Puhdas matematiikka tuli tunnustetuksi kutsumukseksi, joka saavutetaan koulutuksen avulla. Kysymys: Onko todisteita lisätty?
Se ei lisää mitään todisteiden arvoon.