Axioma del conjunto potencia Para cualquier conjunto formula_17 existe otro conjunto, representado por formula_27, que contiene todos los subconjuntos de formula_17.