Wenn man die rekursiven Beweise Skolems gleichsam von oben ansieht, so stellen sie sich uns dar als Gleichungsketten deren Übergänge nach gewissen Regeln erlaubt sind & die eine besondere strukturelle Eigentümlichkeit haben, || haben: gewisse Höhepunkte, durch welche sie besonderen Gleichungen zugeordnet werden können.