如何证明“有理数集和自然数集对等”呢?