Is this true?
A countable dense subset of R can be aGδ
No — it is false.
From Metric Spaces › Completeness and Baire category