He first assigned a unique natural number to each basic symbol in the formal language of arithmetic with which he was dealing.
他首先把唯一的自然数指派到在他所处理的算术的形式语言中的每个基本符号。