Is there a good citation for a proof that ZF[0] (which is Zermelo Fraenkel without the power set axiom) proves every set has a set of all its finite subsets? thanks, Colin