Биографии и МемуарыГильбертстр 276
Светлый фон
x y x одна и та же конечная

A(b1) A(?xA), ..., A(bh) A(?xA).

x h x

(10)

 

Предположим, кроме того, что формулы b1, ..., bh конечны. В этом случае можно произвести приведение, заменяя формулу ?xA каждый раз, когда она встречается в нашей последовательности, некоторой конечной формулой r. В частности, формулы (10) примут вид

h приведение x r

A(b1) A(r), ..., A(bh) A(r).

r h r

(11)