Rigardu la malsupran trairejon kaj poste respondu la demandon poste en la sama lingvo kiel la trairejo:  Trairejo: Fakte en aksioma agordo rigora aldonas nenion al la ideo de pruvo. Pura matematiko, laŭ vido kiu povas esti atribuita al la Bourbaki-grupo, estas kio estas pruvita. Pura matematikisto iĝis agnoskita alvokiĝo, atingebla per trejnado.  Demando: Ĉu estas aldonitaj pruvoj?
ne plifortigas la koncepton pri evidentigo