ديفيد هيلبرت
في بداية القرن العشرين، تبنى علماء الرياضيات الطريقة البديهية، التي تأثرت بقوة بمثال ديفيد هيلبرت. بدت الصيغة المنطقية للرياضيات البحتة التي اقترحها برتراند راسل من حيث الهيكل الكمي للاقتراحات أكثر فأكثر منطقية، حيث أصبحت أجزاء كبيرة من الرياضيات بديهية ومن ثم تخضع لمعايير بسيطة لإثبات صارم.