Ich will sagen: was Skolem tut ist vollkommen damit beschrieben,
wenn
daß
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
dabei
hier
gar keine Rede [ brauch in dieser Beschreibung gar keine Rede zu sein ]
[ Wir brauchen in dieser Beschreibung nicht von einem allgemeinen Prinzip der Induktion sprechen. ] *