"109884420"@en-us . . . "natural number"^^ . . . . "0"^^ . . . "13728367-n"^^ . "113728367"^^ . . . "the number 1 and any other number obtained by adding 1 to it repeatedly"@en-us . "112955076"@en-us . "0"^^ . "natural number"@en-us .