So beweist || beweisen die Umformungen || Transformationen eines Russellschen Beweises, daß dieser Tautologie || logische Satz sich mit Hilfe dieser Regeln || mit Hilfe dieser Regeln sich aus den Grundgesetzen bilden lasse.