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.