The set R of all real numbers is the (disjoint) union of the sets of all rational and irrational numbers. We know that R is uncountable, whereas Q is countable. If the set of all irrational numbers were countable, then R would be the union of two countable sets, hence countable.read more >>