Si la syntaxe est la science
de la structure des formules logiques
et de la déduction formelle,
la sémantique est la science
des rapports entre les formules logiques
et les relations ou modèles
qui les vérifient.
Il se rappela que Fraïssé aimait
dire que le sémantique est
à la Syntaxe
ce que le Théorie des corps est
aux méthodes de résolution
des équations algébriques.
Mais l’analogie va
encore plus loin
dans les interdits.
La résolution par radicaux
de l’équation du cinquième degré.
Une théorie caractérisant
l’infini non dénombrable.
Une formule logique vraie
pour tout ensemble fini
et fausse pour les ensembles infinis.