Conclusion
IST is an axiomatic theory in which Generalized Continuum Hypothesis and Axiom of Choice are theorems. Non-Lebesgue measurable sets are not possible in it, and Skolem Paradox does not occur. It satisfies most of the conditions Cantor wanted a set theory to have. Of course, IST suffers from the defect any axiomatic theory has to have. Godel tells us, that we will never be able to prove the consistency of any axiomatic theory of significance. Until we recognize an inconsistency in IST, we can live in Cantor’s “heaven”.