 If there is a set that is a standard model (see inner model) of ZFC set theory, then there is a minimal standard model ("see" Constructible universe).The Löwenheim–Skolem theorem can be used to show that this minimal model is countable.The fact that the notion of "uncountability" makes sense even in this model, and in particular that this model "M" contains elements that are