La logique contemporaine distingue nettement les constructions syntaxiques des formules et des démonstrations mathématiques, des sens qui leurs sont donnés. Les différents théorèmes d'incomplétude, de Gödel ou de Tarski, reposent d'ailleurs sur cette distinction.

Cette distinction est également à la base de la fondation de l'algèbre, par al-Khawarizmi, au 9e siècle ; on la retrouve encore, avec un développement plus marqué de l'aspect syntaxique, dans la réforme de l'algèbre qu'opéreront al-Karaji et al-Samaw'al, entre les 11e et 12e siècles.

Nous discuterons ces questions.