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 Multiplikationsaufgabe ohne weiteres lösen kann.