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