Mc Aloon, Kenneth Formes combinatoires du théorème d’incompletude (d’apres J. Paris et d’autres). (French) Zbl 0416.03054 Seminaire Bourbaki, Vol. 1977/78, Expose No. 521, Lect. Notes Math. 710, 263-276 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03H15 Nonstandard models of arithmetic Keywords:non-standard arithmetic; models of arithmetic; incompleteness results for Peano arithmetic Citations:Zbl 0364.02032; Zbl 0394.00006 PDFBibTeX XML Full Text: Numdam EuDML