Выдержка из книги
Казимиров Н.И.
Введение в аксиоматическую теорию множеств
Проверка условия теоремы при а 0 ( а в случае индукции по классу ординалов ЗС при а minK) обычно осуществляется отдельно и называется базой индукции. Ну а тогда наша исходная формула равносильна р ( 0), что вытекает уже из свойств импликации.
