Le concept a été utilisé à bon escient par Kurt Gödel pour la preuve de son théorème incomplet.
Une autre méthode de numérotation de Gödel pourrait consister à considérer chacun des symboles de l "étape 1 à cartographier - le RBL - par exemple, un mappage h -RRB - à un chiffre d'un système numérique de la base-22, de sorte qu'une formule consistant en une chaîne de n symboles s _ 1 s _ 2 s _ 3 dots s _ n serait cartographiée sur le chiffre