Daß wir den Kalkül ohne Tautologie mit Strichen machen können zeigt daß wir für ihn keine Tautologien brauchen. Alles was nicht zum Zahlenkalkül gehört ist Beiwerk.