结论已经显而易见：有理数集可以通过一个简单的排列方式，即按照分子和分母的大小顺序，与自然数一一对应，从而证明它是可数的。我们可以将所有有理数整理成如下的序列：0,1,-1,1/2,-1/2,2,-2,1/3,-1/3,2/3,-2/3,3/2,-3/2,3,-3,以及以此类推，重复的数被剔除。通过这种方式，每个有理数都可以找到一个对应的自然数，表明了它们的可数性。

关于有理数集的可数性，我们可以进一步了解它的性质。首先，一个可数集的子集至多也是可数的，意味着如果从一个可数集合中选取部分元素，新的集合仍然不会变得更多。其次，有限个可数集合的并集，无论是直接相加还是通过选择公理处理，都是可数的。此外，笛卡尔积也遵循这一规律，即有限多个可数集合的乘积仍然是可数的。

在数学描述中，有以下等价的说法：一个集合S是可数的，当且仅当它要么为空，要么可以找到一个自然数集到S的单射函数（这表明S的大小不会超过自然数），或者自然数集可以被映射到S的所有元素上（表明S的大小至少不小于自然数）。这意味着单射的定义域和满射的值域都必须是可数的。

综上所述，通过直观的排列和数学性质的阐述，我们可以明确证明有理数集是可数的。