Cтраница 2
Доказательство теоремы ( ТА), согласно которой всякое осмысленное выражение аристотелевской логики может быть сведено к элементарным выражениям, в скрытом В иде содержится в доказательстве аналогичной теоремы для теории дедукции. [16]
Для случая, когда в качестве ортогональной системы, по которой ведется разложение, взята основная тригонометрическая система, соответствующие достаточные условия содержатся в доказанной выше основной теореме сходимости тригонометрического ряда Фурье. Доказательство аналогичных теорем сходимости для других ортогональных систем требует специального рассмотрения. [17]
Доказательство 11.6 и 11.7 является несложной модификацией доказательств X, 8.1 и X, 8.2 соответственно. Способ модификации был проиллюстрирован при доказательстве аналогичной теоремы 9.5 ( о модальном пропозициональном исчислении), ибо это доказательство было сходной модификацией доказательства соответствующей теорема IX, 6.1 об интуиционистском пропозициональном исчислении. [18]