الصياغة المنطقية للرياضيات البحتة التي اقترحها برتراند راسل من حيث كمية هيكل الاقتراح ق يبدو أكثر وأكثر قبولا، وأجزاء كبيرة من الرياضيات، وبالتالي أصبح axiomatised البسيطة تخضع لمعايير برهان دقيق.
The logical formulation of pure mathematics suggested by Bertrand Russell in terms of a quantifier structure of propositions seemed more and more plausible, as large parts of mathematics became axiomatised and thus subject to the simple criteria of "rigorous proof".