Сепарабельность пространства комплексных чисел

Времени крайне мало, пожалуйста подскажите направление мыслей или может где есть доказательство.
Сепара́бельное пространство — топологическое пространство, содержащее счётное всюду плотное множество.
То есть нужно выделить подмножество комплексных чисел M, которое будет плотным.
Плотным, значит для всех комплексных чисел и любой окрестности найдётся хотя бы один элемент из M.
А какая метрика на C..?

Если по аналогии: Q всюду плотно в R, а (x + iy), где x,y из Q плотно в C?

Вопрос свёлся к счётности Q^2. Как показать?

Всё решилось. Как удалить тему?

Примерно аналогично доказательству счетности рациональных.