Die allgemeinheit der Variablen in der Logik ist die Allgemeinheit der Demonstration. Sie besteht darin, daß daß die Tatsache daß p ⊃ p eine Tautologie ist an
einem
jedem
beliebigen speziellen Fall allge[i|m]eingültig demonstriert wird. Aus D.h. aus der Demonstration des besonderen Falles ersehe ich tatsächlich (was wie immer sie gemeint war) alles was ich in der Logik brauche. D.h. die Demonstration erhält nicht dadurch ihre Demonstra Allgemeinheit daß sie so gemeint ist sondern indem sie tatsächlich allgemein (d.h. allgemein gültig) demonstriert. D.h. die Allgemeinheit besteht hier in der Allgemeinheit der Anwendung. Und diese ist da da so zu sagen ob man es will oder nicht[;|] einfach durch die innere Relation des Einzelfalles zum Paradigma. – Man könnte dann sagen eine Demonstration demonstriert so allgemein als sie anwendbar ist. D.h. sie demonstriert allgemein durch de[m|n] Raum in dem sie
ist.