6˙11342
Natürlich ist diese Art, zu zeigen, daß die und die Sätze Tautologien sind der Logik durchaus nicht wesentlich || unwesentlich. Schon weil die Sätze von welchen der Beweis ausgeht ja ohne Beweis zeigen müssen daß sie Tautologien sind.