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.
This model also satisfies any finite subset of our theory. If the axioms of the set theory are consistent, then it has a model.
If the axioms of the set theory are consistent, then it has a model. This model also satisfies any finite subset of our theory.
If the axioms of the set theory are consistent, then it has a model. This model also satisfies any finite subset of our theory.