L’idée leibnizienne de la science universelle suppose l’idée de l’unité des sciences.Les signes qui doivent être créés par la caractéristique universelle appartiennent tous à la même catégorie sémantique ; ils forment une partie du vocabulaire d’un langage dans lequel toutes les sciences peuvent être exposées.Les systèmes de calcul logique contiennent une définition de la vérité. La caractéristique universelle est un langage qui n’a besoin d’aucune règle de raisonnement. Les systèmes de calcul logique se rapportent à des langues générales.