5.242
Dieselbe Operation, die „q” aus „p” macht, macht aus „q” „r”, etc. || u.s.f. Dies kann nur darin ausgedrückt sein, daß „p”, „q”, „r”, etc. Variable sind, die gewisse formale Relationen allgemein zum Ausdruck bringen.