À l'aide des outils mathématiques de la logique