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