[Einige Sätze die ich
vor diesen
1 geschrieben habe]:
Was ich sagen will
ist also: Skolem nimmt
nur die alten Grundgesetze der klassischen Algebra & ordnet
ihnen gewisse Gleichungskomplexe zu, & zwar so, daß diese
Zuordnungen eine gewisse Analogie aufweisen, die dem losen
Gebrauch Allgemeinheitsbezeichnung in der Wortsprache
entspricht. Er gebraucht aber diesen allgemeinen
Begriff der Allgemeinheit selber nicht konstruktiv,
d.h., gebraucht ihn nicht als allgemeinen
Begriff. Seine Beweise verhalten sich zu seinem
Begriff des Rekursionsbeweises, wie die einzelnen primären
Farben zum Begriff der primären Farbe.
D.h.: es liegt hier kein Begriff vor,
sondern eine Liste. ((Daran ist nun wahr daß
tatsächlich kein Begriff (d.h. kein
System) des
Rekursions
beweises vorliegt, da dieser Beweis nur
gelingt. Wohl aber liegt ein Begriff des
Rekursions
schemas vor, das wir aus jeder
Gleichung konstruieren können. (Die
Verwechslung dieser beiden hat mich so lange
aufgehalten
.)))