Para todo conjunto no vacío formula_17 existe un conjunto formula_42 tal que formula_46.