Jabarkan Abad ke-20 dari Matematika murni

Pada awal abad keduapuluh para matematikawan yang mengambil metode aksioma lebih dipengaruhi oleh pemeikiran dari David Hilbert. Perumusan logis matematika murni yang diusulkan oleh Bertrand Russell dalam bentuk struktur pembilang proposisi akan tampak lebih dan masuk akal karena sebagian besar matematika telah menjadi axiomatik dan dengan demikian semua harus tunduk pada kriteria sederhana dari pembuktian yang setepat-tepatnya.

Bahkan dalam pengaturan aksiomatik setepat-tepatnya menambahkan tidak ada ide pembuktian. Matematika murni, menurut pandangan yang dapat dinisbahkan kepada kelompok Bourbaki adalah apa yang telah dibuktikan. Matematikawan murni akan menjadi kemungkinan bila dicapai dengan melalui pelatihan.