Cтраница 2
Здесь и далее символ т означает конец доказательства. [16]
Значок в тексте после точки указывает на конец доказательства. [17]
Символом [ J в тексте книги отмечается конец проводимого доказательства. Символ означает следует ( одно высказывание следует из другого), а символ означает равносильность утверждений, стоящих по разные от него стороны. [18]
Значками и отмечены, соответственно, начало и конец доказательства. Нумерация всех утверждений ( лемм, теорем и следствий) - сплошная, определений - тоже. [19]
Значками Q и Ц отмечаются соответственно начало и конец доказательства утверждения. [20]
Весьма тягостную проверку возможности такого распределения мы отложим на конец доказательства, а пока примем, что оно произведено. [21]
ЗА МЕЧА НИЯ выделены курсивом: Символ Ф обозначает конец доказательства. [22]
ЗА МЕЧА НИИ выделены курсивом; Символ Ф обозначает конец доказательства. [23]
Функция а ( и) и число с до конца доказательства фиксированы. [24]
В связи с дайной F значения истинности требуются в конце доказательства леммы 22 только для формул с ограниченным числом логических оператороэ - Ср. [25]
Выбрав этот базис, мы не будем его менять до конца доказательства. [26]
Переход к более простому случаю М без края будет пояснен в конце доказательства. [27]
A) XR-X р 1 - Это предположение будет устранено в конце доказательства. [28]
Здесь и далее знак П означает начало доказательства, а знакЯ - конец доказательства. [29]
Константа с ( как, впрочем, и константа / С) будет определена в конце доказательства из тех условий ( подобных условию Г), которые постепенно будут на нее накладываться. [30]