在自然数集合中,如何证明“非后继元素”的唯一性?