Langage naturel et langages artificiels. Du rêve de Leibniz au théorème d'incomplétude de Gödel, II