6˙11341
Der Beweis der logischen Sätze besteht darin, daß wir sie aus anderen logischen Sätzen durch successive Anwendung gewisser Operationen entstehen lassen
70
die aus den [E|e]rsten immer wieder Tautologien macht.
(Und zwar folgen aus einer Tautologie nur Tautologien.)