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