  So much, then, for general criticisms of the algebraic conception of axiomatization and its role in the Skolemite argument. We turn now to a more-focused objection to the third step in that argument. For the sake of argument, let's grant that the Skolemite has shown that our set-theoretic notions are relative and that, for every kind of set that we can define with a formula, there is an instance of this kind of set which is only countable. So, there is a countable instance of the power set of ω, a countable instance of the real numbers,  etc.[43]  Still, it's unclear why this shows that every set is “absolutely” countable. After all, just as the Löwenheim-Skolem theorem shows that we can find countable instances of all these sets, the Upward-Löwenheim-Skolem theorem shows that we can also find uncountable instances.