Complex sentence: If the axioms of the set theory are consistent, then it has a model, which is also a model of any finite subset of our theory.
Split into simpler sentences: If the axioms of the set theory are consistent, then it has a model. This model also satisfies any finite subset of our theory.