  Given this algebraic conception of axiomatization, then, Skolem appeals to the Löwenheim-Skolem theorems to argue that the axioms of set theory lack the resources to pin down the notion of uncountability. Given any first-order axiomatization of set theory and any formula Ω(x) which is supposed to capture the notion of uncountability, the Löwenheim-Skolem theorems show that we can find a countable model M which satisfies our axioms. As in section 1, therefore, we can find an element mˆ ∈  M such that M  ⊨ Ω(mˆ) but {m | M  ⊨  m ∈ mˆ } is only countable. Thus, as long the basic set theoretic notions are characterized simply by looking at the model theory of first-order axiomatizations of set theory, then many of these notions—and, in particular, the notions of countability and uncountability—will turn out to be unavoidably  relative.[33]