I starten av 1900-tallet førte David Hilberts eksempel til at matematikere tok opp den aksiomatiske metode. Den logiske formuleringen av ren matematikk som Bertrand Russell foreslo ble mer og mer troverdig etter hvert som stadig større deler av matematikken ble aksiomatisert. Dermed kunne også en stadig større del av matematikken bevises ved hjelp av en streng bevisførsel.