 Solution

Inclusion gives $|\mathbb{R}\setminus \mathbb{Q}|\le \mathfrak{c}$. If $\kappa =|\mathbb{R}\setminus \mathbb{Q}|$, the disjoint decomposition of $\mathbb{R}$ givesThe irrational numbers are infinite, for instance $n+\sqrt{2}$ are pairwise distinct irrationals. Standard infinite cardinal addition gives ${\aleph }_0+\kappa =\max ({\aleph }_0,\kappa )$. Since Cantor's theorem gives $\mathfrak{c}>{\aleph }_0$, the equality forces $\kappa =\mathfrak{c}$. ThereforeThis is the permitted cardinal-arithmetic formal proof; it does not subtract infinite cardinals as though they were finite numbers.