「集合位相入門」の証明がどんなことかはよく知らないが、
有理数が可算無限個あることの証明は、結構簡単だーよ。