The hypothesis that the theory is computably enumerable means that it is
possible in principle to write a computer program that (if allowed to run
forever) would list all the theorems of the theory and no other
statements.
In fact, it is enough to enumerate the axioms in this manner.
Contexte
Mathematiques
Traduction
L'hypothèse selon laquelle la théorie est énumérable par ordinateur
signifie qu'il est possible, en principe, d'écrire un programme
d'ordinateur qui (s'il pouvait fonctionner pour toujours) énumérerait tous
les théorèmes de la théorie et aucune autre affirmation. En fait, c'est
assez pour énumérer les axiomes de cette manière.
