J'ai effectivement l'impression que nous ne parlons pas de la même chose, moi je parle des mathématiques (sujet de ce fil) qui est bien un "langage formel" même si pour certains cette expression a un autre sens, et dont le vocabulaire peut très bien être infini (mais avec des chaînes finies dans le cas de la logique classique).
-----