证明自然数集和有理数集元素个数相等 证明实数集合元素个数比自然数多