Про аксиомы

[xmaister]

Как доказать, что аксиомы суммы, степени и замены можно заменить одной аксиомой, утверждающей существование множества $S(\{ \text{Ф}\}''2^A)$ для каждой высказывательной функции $\text{Ф}$.

Показать что из последнего утверждения следует хотябы аксиома суммы не получается, вообще не понимаю, как начать. Подскажите.