Zermelo-Fraenkel Consistency Results by Fraenkel-Mostowski Methods