Jabarkan Abada ke-20 dari Matematik tulen dalam bahasa melayu

Pada permulaan abad ke-20, ahli matematik menggunakan kaedah aksiom yang mendapat pengaruh kuat dari contoh David Hilbert. Formulasi logik untuk matematik tulen dicadangkan oleh Bertrand Russell dalam bentuk satu struktur pengkuantiti proposisi yang menjadikannya kelihatan semakin munasabah kerana semakin banyak bahagian matematik yang diaksiomkan, dan oleh itu ia tertakluk pada kriteria bukti rigor.

Sesungguhnya dalam tetapan aksiomatik, rigor tidak menambah apa pun kepada idea bukti. Menurut satu pandangan yang berkaitan dengan kumpulan Bourbaki, matematik tulen ialah matematik yang dibuktikan. Ahli matematik tulen kemudiannya menjadi satu kerjaya yang diiktiraf, dan dapat dicapai melalui latihan.