Man könnte auch so sagen: [d|D]er 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 Multiplicationsaufgabe ohne weiteres lösen kann.