Lehrt uns denn die Schlußregel “(u).f(u) ⊃ f(v)” zählen? Ihre anwendung ist doch auf der Praxis des Zählens basiert. // ruht doch
auf der Praxis des Zählens. //