Cтраница 3
Доказательство проводится тем же методом, что и прежде ( § § 26, 33), с помощью семи дополнительных лемм. [31]
Доказательство этой теоремы, удобное для проведения в системе главы IV и для дальнейших применений в этой книге, изложено, например, у Хассе, Лекции по теории чисел, стр. [32]
Доказательство можно провести обобщением предыдущего метода, как намечено Клини [ 1943, стр. [33]
Доказательство при помощи теоремы Геделя в меньшей степени неконструктивно. Неинтуиционистский шаг ( в нашем изложении) встречается в до-казательстве леммы 22, когда мы допускаем, что Fe H Qt или Ft H Qt. [34]
Доказательство в общем случае опирается на формулу (4.7) гл. II и проводится так же, как и для биномиального распределения. [35]
Доказательство в G3 называется несводимым, если оно не содержит никакой пары сходных секвенций, из которых одна стоит выше другой в той же самой ветви. [36]
Доказательство ( d) отложим до рассмотрения следующего примера, иллюстрирующего разрешающую процедуру. [37]
Доказательство проводится индукцией по длине данного вывода Г - Е путем разбора случаев, соответствующих постулатам нашей формальной системы. [38]
Доказательство распадается на несколько лемм. [39]
Доказательство ведется так / ке, как в случае. [40]
Доказательство почти совпадает с доказательством теоремы 6.1 главы 2 и потому опускается. Заметим, что А V ZJJV голоморфно и потому коэффициент при tk в J ( tQ - - 4 Z) N есть относительно формы кривизны полином с постоянными коэффициентами, так как голоморфная функция на компактном многообразии должна быть постоянной. [41]
Доказательство проводится в терминах локальных координат. Достаточно выразить подынтегральное выражение как дивергенцию векторного поля. [42]
Доказательство этой теорем принадлежит Дж. Пуанкаре удалось доказать ее лишь при некоторых ограничениях, но его метод менее специален, чем доказательство Биркгофа, и поддается обобщению. [43]
Доказательство основано на следующей лемме. [44]
Доказательство достаточно провести здесь только для второго собственного значения Л2 Я2, для остальных оно выглядит аналогично. [45]