无理数集与实数集的一一对应解析式

• Analytical formula of one-to-one correspondence between irrational number set and real number set