Man könnte
auch so sagen:
Der Beweis aller dieser
Sätze
gelingt Skolem; aber er gibt uns nicht
ein System
in welchem wir mittels
einer Regel alle zu beweisenden
Sätze ableiten können. Sondern wir müssen
immer von neuem lernen, wie ein weiterer Satz abzuleiten ist –
also nicht,
wie
einer der
Multiplizieren gelernt hat jede
Multipli
kationsaufgabe ohne weiteres
lösen kann.