consider Y being Subset of REAL such that
A2: Y = RAT by NUMBERS:12;
Y ` is Event of Borel_Sets by Th41, A2, PROB_1:20;
hence REAL \ RAT is Event of Borel_Sets by A2; :: thesis: verum