>>13931220The independence of the continuum hypothesis from the axioms of ZFC demonstrates that the concept of an arbitrary set and a fortiori an infinite sequence of rationals is underspecified, and thus too vague to be considered a mathematical notion. Mathematical notions whose meaning is not immediately obvious (i.e. not things like natural numbers or formulas) are supposed to be carefully and clearly defined.
