So
beweist die Umformung || beweisen die Transformationen
eines Russellschen
Beweises, daß
diese Tautologie
sich
mit Hilfe dieser Regeln || dieser logische Satz
sich
mit Hilfe dieser Regeln || dieser logische Satz
mit Hilfe dieser Regeln sich
aus den
Grundgesetzen bilden lasse.
Aber der Beweis wird als Beweis
der Wahrheit des Schlußsatzes angesehen, oder als Beweis
dafür, daß der Schlußsatz
nichts sagt.
Das ist nun nur durch eine Beziehung des Satzes nach außen
möglich;
d.h. durch seine
Beziehung zu andern Sätzen, z.B.,
& deren Anwendung.