Wenn man die rekursiven Beweise Skolem's gleichsam von oben ansieht, so stellen sie sich (uns) dar, als Gleichungˇsketten, deren Uebergänge nach gewissen Regeln erlaubt sind und die eine besondere strukturelle Eigentümlichkeit haben: gewisse Höhepunkte, durch welche sie besondern Gleichungen zugeordnet werden können.

87