Denken wir uns nun einen Beweis Russells Russellschen für einen Additionssatz der Art a + b = c der aus ein paar tausend Zeichen bestünde. Du wirst sagen: Zu sehen, ob dieser Beweis stimmt, oder nicht, ist eine rein äußerliche Schwierigkeit, die von keinem mathematischen Interesse ist. (“Ein Mensch übersieht leicht, was ein Aanderer schwer ˇoder garnicht übersieht”; – etc. etc.)