6.127 Alle Sätze der Logik sind gleichberechtigt, es gibt unter ihnen nicht wesentlich Grundgesetze und abgeleitete Sätze.
Jede Tautologie zeigt selbst, dass sie eine Tautologie ist.