  We close this entry with a brief recap of two of the main points that we've tried to emphasize. First, from a purely mathematical standpoint, there's no conflict between Cantor's Theorem and the Löwenheim-Skolem Theorems. There's a technical solution to Skolem's Paradox which explains why the Löwenheim-Skolem Theorems pose no problems for either naive forms of set-theoretic realism or various forms of axiomatized set theory. Hence, there's no chance of using the Löwenheim-Skolem theorems by themselves to generate substantial Skolemite conclusions. Of course, there are still some interesting technical issues which live in the neighborhood of Skolem's Paradox. For example, we can look at how the paradox plays out in the context of particular first-order models; we can examine the degree to which various kinds of non-first-order logic are susceptible to the paradox; and we can try to isolate the precise features of first-order logic which allow the paradox to apply to it. Each of these topics is clearly related to Skolem's Paradox, and each raises questions about the relationship between model theory and set theory which are well worth exploring. But, considered simply in and of itself, Skolem's Paradox poses no threats to classical set theory.