Il a d'abord attribué un entier naturel unique à chaque symbole de base dans le langage formel de l'arithmétique.
Primeiro, ele atribuiu um número natural único para cada símbolo básico na linguagem formal da aritmética a qual ele estava lidando.WikiMatrix WikiMatrix