 It is not that Wittgenstein’s later criticisms of set theory change, it is, rather, that once we see that set theory has no extra-mathematical application, we will focus on its calculations, proofs, and prose and “subject the interest of the calculations to a test” (RFM II, §62). By means of Wittgenstein’s “immensely important” ‘investigation’ (LFM 103), we will find, Wittgenstein expects, that set theory is uninteresting (e.g., that the non-enumerability of “the reals” is uninteresting and useless) and that our entire interest in it lies in the ‘charm’ of the mistaken prose interpretation of its proofs (LFM 16). More importantly, though there is “a solid core to all [its] glistening concept-formations” (RFM V, §16), once we see it as “as a mistake of ideas”, we will see that propositions such as “\(2^{\aleph_0} \gt \aleph_0\)” are not anchored in an extra-mathematical practice, that “Cantor’s paradise” “is not a paradise”, and we will then leave “of [our] own accord” (LFM 103).