You don't have to use a finitely definable function. In fact, Cantor's argument defines the function as an infinite list of real numbers.