Доказательство утверждения 2) проводится индуктивно по сложности формулы ( р, а аксиома S1 является базой ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Казимиров Н.И. Введение в аксиоматическую теорию множеств


Доказательство утверждения 2) проводится индуктивно по сложности формулы ( р, а аксиома S1 является базой индукции. Именно, сначала необходимо проверить, что 2) справедливо в том случае, когда ( р ( х) является атомарной формулой.

(cкачать страницу)

Смотреть книгу на libgen

Доказательство утверждения 2) проводится индуктивно по сложности формулы ( р,  а аксиома S1 является базой индукции.  Именно,  сначала необходимо проверить,  что 2) справедливо в том случае,  когда ( р ( х) является атомарной формулой.