ABSTRACT
Explanation: An expression ac is a 3 ^ (or an 62), when it is both constructed 1 and a 3 1 (or an 61 , respectively); see explanation of D 39.
D 55. Geb (s, x, n) = (3 f) * (3 z) x (3 u) x (3 y) 3 (3 v) y (3 to) z [(# = zus3 (t, z, w)) • (z = zus [y, einkl (&>)]) • Opl (y, s, v) • ZA2 (v) • Satz2 (w) • Gr (/z, lng (£)) • Grgl (sum [lng (t), lng (*)],»)]
Explanation: The TNvariable 5 is called bound in the SNexpression x at the nth place (where the variable need not occur at this place) if the following conditions are fulfilled: In x an expression z of the form $li(9t2) occurs, where is an Operatorl having a 3 2 as limit and s as operator-variable; $l2 is an ; the nth place of x belongs to z (see p. 21).
