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