@article{PDML_1974__11_4_27_0, author = {Pabion, J. F.}, title = {L'axiomatisation de la syntaxe et le second theorem de {G\"odel}}, journal = {Publications du D\'epartement de math\'ematiques (Lyon)}, pages = {27--87}, publisher = {Universit\'e Claude Bernard - Lyon 1}, volume = {11}, number = {4}, year = {1974}, mrnumber = {381973}, zbl = {0331.02017}, language = {fr}, url = {http://www.numdam.org/item/PDML_1974__11_4_27_0/} }