∣ ✢  
6˙11
Daß sie Tautologien sind, das zeigt die formalen (logischen) Eigenschaften ihrer Teile der Sprache, der Welt.