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 reimen || lernen, wie ein weiterer Satz abzuleiten ist – also nicht, wie Einer, der multiplizieren gelernt hat, jede Multiplikationsaufgabe ohne weiteres lösen kann.