Счетность множества рациональных чисел: доказательства