请问如何将这句命题用谓词逻辑符号化:任何自然数都有唯一的后继数