Is (R,+) group isomorphic to (R^2,+)?

The idea to prove this is to show that $\mathbb{R}$ and $\mathbb{R}^2$ are isomorphic as $\mathbb{Q}$ -vector spaces. To do this requires some moving parts, so I’ve compiled them all (except for elementary results from linear algebra and understanding of cardinality) into a single document: