Rilate al la suba trairejo 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 tra trejnado. Demando: Ĉu estas pruvo aldonita?
ne plifortigas la koncepton pri evidentigo