Man könnte auch so sagen: Der Beweis aller [s|d]ieser 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
reimen
, wie ein weiterer Satz abzuleiten ist – also nicht, wie [e|E]iner, der multiplizieren gelernt hat, jede Multiplikationsaufgabe ohne weiteres lösen kann.