∣ ✢  
5˙242
Dieselbe Operation, die „q” aus „p” macht, macht aus „q” „r”; etc.
Dies kann nur darin ausgedrückt sein, daß „p”, „q”, „r”, etc variable sind, die gewisse formale Relationen allgemein zum Ausdruck bringen.