Herbrand et le programme de Hilbert - SMF
seulement si, la théorie propositionnelle qui est formée par tous les substitutions.
9. La formulation que je donne est en fait un cas particulier du résultat d'
Herbrand ; on suppose que l'on a au mois un symbole de constante. Une preuve
claire de ce résultat est présentée dans le livre de Shoenfield [27]. SMF ? Gazette
? 118 ...
Un extrait du document