Hurrengo pasarteari erreferentzia egin eta ondoren galdera erantzun pasartearen hizkuntza berean: Pasaera: Izan ere, ezarpen axiomatikoan zorrotzak ez du frogaren ideiari ezer gehitzen. Matematika purua, Bourbaki taldeari egokitu dakiokeen ikuspegiaren arabera, frogatuta dagoena da. Matematikari purua aitortu den bokazio bihurtu zen, prestakuntzaren bidez lor daitekeena. Galdera: Bada frogarik gehitu?
Ez du frogaren esanahirik.