 Though the intermediate Wittgenstein certainly seems highly critical of the alleged proof that some infinite sets (e.g., the reals) are greater in cardinality than other infinite sets, and though he discusses the “diagonal procedure” in February 1929 and in June 1930 (MS 106, 266; MS 108, 180), along with a diagonal diagram, these and other early-middle ruminations did not make it into the typescripts for either PR or PG. As we shall see in  Section 3.4,  the later Wittgenstein analyzes Cantor’s diagonal and claims of non-denumerability in some detail.