According to a basic theorem of transfinite set theory the set of irrational numbers is uncountable, while the set of rational numbers is countable. This is contradicted by the fact that any pair of irrational numbers is separated by at least one rational number. Hence, in the interval [0,1] there exist more rational numbers than irrational numbers.