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.