  Based upon the axiom of choice it is proved that the cardinality of the
rational numbers is not less than the cardinality of the irrational numbers.
This contradicts a main result of transfinite set theory and shows that the
axiom of choice is invalid.
