  This article analyses some paragraphs of the Dissertatio de Arte Combinatoria
(1666) where G.W. Leibniz considers the syntax of a language with a given
number of primitive terms. We propose a new formulation which generalizes the
philosopher conception of such a formal system.
