6.1
Die Sätze der Logik sind Tautologien.