"Skolem-Löwenheim theorem" is the name given to theorems which guarantee a system of axioms has models of some cardinality if it has models of some other cardinalities. Here are the 2 best known theorems of this type:
Be warned that the proofs are somewhat technical and uninspiring!