无理数两个定义的等价性

本证明了用有理数集的分割及有理数序列的极限这两种方法定义无理数的等价性。