Undecidability vs transfinite induction for the consistency of hyperarithmetical sets. S. Caporaso, G. Pani (1982) Archiv für mathematische Logik und Grundlagenforschung
Une démonstration du théorème de complétude de Godel Daniel Ponasse (1966) Publications du Département de mathématiques (Lyon)