He first assigned a unique natural number to each basic symbol in the formal language of arithmetic with which he was dealing.
הוא קודם הקצה מספר טבעי ייחודי לכל הסמלים הבסיסיים על בשפה הפורמלית של האריתמטיקה בה הוא עסק.