But I do not know how to give a ‘constructive’ proof of the set.
I hope someone else can do it. I can show it using the axiom of choice.
Here is an outline.
The set of ordered pairs of rational numbers is countable.
Between any two numbers there is an irrational number.
Thus using that we can produce the required set.
Such a set is clearly dense in and must be countable.