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.