Изменения
Исправлена ошибка в кванторах аксиомы степени
Каково бы ни было множество <tex>x</tex>, существует множество <tex>2^x</tex>, содержащее в точности
все возможные подмножества множества <tex>x</tex>.
Формально: <tex>\forall x \exists p \forall y (y \subseteq in p \leftrightarrow y \in subseteq x)</tex>.
}}
