Wenn man den falschen Übergang von dem variablen Satz zum allgemeinen Satz macht (wie Russell & Whitehead es für erlaubt erklärten) dann scheint der Beweis nur eine Erkenntnisquelle des allgemeinen Satzes statt die Analyse seines eigentlichen Sinnes zu sein (﹖).
Dann könnte man auch sagen: der Satz ist vielleicht richtig obwohl man ihn nicht beweisen kann.