Я так понял вы хотите сказать, что если какую-то переменную, которая "подразумевает" из себя счетное множество поделить на аналогичную переменную, то полученное множество будет счетным, не так ли?
Непонятно, что Вы имеете в виду, при чем тут переменные. Любая дробь состоит из числителя и знаменателя, и оня являются элементами счетных множеств.
В счетности рациональных чисел вообще есть несколько тонкостей, так что приведите, пожалуйста, конкретное доказательство, которое Вы разбираете (или ссылку).