Abstract

We are familiar with various set-theoretical paradoxes such as Cantor's paradox, Burali-Forti's paradox, Russell's paradox, Russell-Myhill paradox and Kaplan's paradox. In fact, there is another new possible set-theoretical paradox hiding itself in Wittgenstein’s Tractatus. From the Tractatus’s Picture theory of language we can strictly infer the two contradictory propositions simultaneously: the world and the language are equinumerous; the world and the language are not equinumerous. I call this antinomy the world-language paradox. Based on a rigorous analysis of the Tractatus, with the help of the technical resources of Cantor’s naive set theory and Zermelo-Fraenkel set theory with the axiom of choice, I outline the world-language paradox and assess the unique possible solution plan, i.e., the mathematical plan utilizing ‘infinity’. I conclude that Wittgenstein cannot solve the hidden set-theoretical paradox of the Tractatus successfully unless he gives up his finitism.