L'Epsilon de Hilbert est une extension d'un langage formel par l'opérateur epsilon, où celui-ci se substitue aux quantificateurs dans le langage en tant que méthode conduisant à une preuve de la cohérence pour l'extension du langage formel. Wikipedia