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.