​ Cette page présente les définitions des termes utilisés dans le langage propre et la modélisation symbolique.