Cтраница 4
Совершенно аналогично выносятся относительные константы из области определения квантора существования; для этого подкванторное выражение приходится предварительно представлять в виде дизъюнкции конъюнкций. Подобные процессы выноса констант будут нами широко применяться ( см. ниже, гл. [46]
Максимальное число различных, напластовывающихся друг на друга кванторов существования в какой-либо формуле мы будем называть степенью этой формулы. [47]
Несколько иначе дело обстоит в случае аксиом для квантора существования. Пусть цифра J представляет собой его значение. Таким образом, ф либо совпадает с 31 ( з), либо получается из этой формулы в результате замены одного или нескольких нумерических термов их значениями. [48]