Metadata
Author: WikiMatrix
Data
French[fr]
Il a d'abord attribué un entier naturel unique à chaque symbole de base dans le langage formel de l'arithmétique.
Portuguese[pt]
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.