Besonderhede van voorbeeld: 2842281676253789237

French

Il a d'abord attribué un entier naturel unique à chaque symbole de base dans le langage formel de l'arithmétique.

Japanese

彼はまず、彼が使っている数式記法で出現する各基本シンボルにユニークな自然数を割り当てた。