that addition and multiplication are TC

that the reals are uncountable

that any subset of  the natural numbers is countable

that the rationals are countable 

that the sum of all natural numbers is countable