I just need to verify this for self-study:
Claim: The set of all power series in one variable with rational coefficients is not countable.
Proof: That set is isomorphic to $\mathbb{Q}^\mathbb{N}$ since a formal power series can be encoded as a sequence of rationals, so it is uncountable.
Is that correct?