Well, the argument is that for any natural number n we can make an n-gon. So we have a one-to-one correspondence between natural numbers and dimension 2 polytyp

Well, the argument is that for any natural number n we can make an n-gon. So we have a one-to-one correspondence between natural numbers and dimension 2 polytypes, so by definition the cardinality of that set is aleph zero