Cтраница 1
Доказательство аналогичных теорем в случае иных блочных представлений исходной матрицы не вызывает затруднений. [1]
Доказательство подобно доказательству аналогичной теоремы 8.6 для теорий нулевого порядка. [2]
Доказательство подобно доказательству аналогичной теоремы I, 6.3 для решеток. [3]
Доказательство подобно доказательству аналогичной теоремы I, G. [4]
Доказательство подобно доказательству аналогичных теорем I, 6.3 для решеток и II, 7.1 для булевых алгебр. [5]
Доказательство подобно доказательству аналогичных теорем I, 6.3 для решеток, II, 7.1 для булевых алгебр и III, 13.1 для топологических булевых алгебр. [6]
Доказательство подобно доказательству аналогичной теоремы VIII, 24.1 об алгебре двузначного предикатного исчисления. [7]
Доказательство подобно доказательству аналогичной теоремы X, 3.6 для интуиционистских теорий. [8]
Доказательство подобно доказательству аналогичных теорем I, 6 3 для решеток и II, 7.1 для булевых алгебр. [9]
Доказательство подобно доказательству аналогичных теорем I, 6.3 Для решеток, II, 7.1 для булевых алгебр и III, 13.1 для топологических булевых алгебр. [10]
Доказательство подобно доказательству аналогичной теоремы X, 3.6 для интуиционистских теорий. [11]
Доказательство этой теоремы повторяет доказательство аналогичной теоремы при q 1 и его не повторяем. [12]
Доказательство вполне сходно с доказательством аналогичной теоремы планиметрии ( Пл. [13]
Прежде всего, совершенно так же, как при доказательстве аналогичной теоремы 1 § 195, можно убедиться в том, что при фиксировании какой-нибудь системы проективных координат на проективной плоскости координатные тройки а и b точек А и В, являющиеся базисными тройками системы проективных координат на прямой с базисными точками Л, 5, С, с точностью до пропорциональности однозначно определены. Действительно, тройка с а 4 - Ь должна быть по условию координатной тройкой точки С и, следовательно, при заданной системе проективных координат на проективной плоскости, с точностью до пропорциональности однозначно определена, а тройкой с однозначно определяются координатные тройки а и b точек А и В, дающие в сумме с. Пропорциональные же системы базисных троек а, Ь и Ха, Х6, очевидно, определяют одну и ту же систему проективных координат на прямой. Пусть теперь на проективной плоскости произведено преобразование проективных координат. Точки Л, В и С получат какие-то новые координатные тройки, уже не пропорциональные прежним. Нам нужно показать, что проективные координаты на прямой от этого все же не изменятся. [14]
Чтобы облегчить труд читателя, мы часто даем полные доказательства в главах IX и X, даже если они подобны доказательствам аналогичных теорем в классической логике. С другой стороны, рассмотрение позитивной и модальной логик в главе XI проводится довольно бегло и доказательства теорем, аналогичных теоремам для классической и интуиционистской логик, опускаются. [15]