Ich will sagen: was Skolem tut ist vollkommen damit beschrieben, daß || wenn man sagt, er beweise etwas über die Formen der Gleichungen A, indem er z.B. für die Gleichung a + (b + c) = (a + b) + c zeigt, daß (a + (b + c) + 1 & ((a + b) + c) + 1 aus a + (b + (c + 1)) & (a + b) + (c + 1) durch a + (b + 1) = (a + b) + 1 ableitet, etc. etc.. Von einem allgemeinen Prinzip der Induktion ist hier || dabei gar keine Rede. || braucht in dieser Beschreibung gar keine Rede zu sein. || Wir brauchen in dieser Beschreibung nicht von einem allgemeinen Prinzip der Induktion sprechen.*