 So the consistency of Zermelo set theory is a theorem of ZFC set theory.Zermelo's axioms do not imply the existence of ℵω or larger infinite cardinals, as the model "V"ω·2 does not contain such cardinals.