6˙1
Die Sätze der Logik sind die Tautologien