let W be Universe; :: thesis: W |= the_axiom_of_power_sets
for u being Element of W holds W /\ (bool u) in W by CLASSES1:def 1, XBOOLE_1:17;
hence W |= the_axiom_of_power_sets by ZFMODEL1:8; :: thesis: verum