The Fraenkel-Mostowski method applies to set theory with atoms (ZFA), not standard Zermelo-Fraenkel ...