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".
הניסוח הלוגי של המתמטיקה הטהורה שהוצע על ידי ברטראנד ראסל באמצעים של מבנה כימות של טענות לוגיות נראה יותר ויותר בר תוקף, שכן חלקים נרחבים של המתמטיקה יוצגו בעזרת המערכת האקסיומטית מה שהקל את המשימה למציאת קריטריונים להוכחה ריגורוזית.