Und ist dies nicht auch die Art der Allgemeinheit der Tautologien der Logik die für p q r etc. bewiesen || demonstriert werden?