Denken wir uns nun einen Beweis Russells || einen Russellschen Beweis 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 Anderer || anderer schwer oder garnicht übersieht”; || etc. etc.)