caa a22 4500 388098643 CHVBK 20180307125310.0 cr unu---uuuuu 161130s1999 xx s 000 0 eng 10.1017/S0012217300007265 doi S0012217300007265 pii (NATIONALLICENCE)cambridge-10.1017/S0012217300007265 Rivenc François Université de Paris I Remarques à propos d'une récente Introduction à la logique [Elektronische Daten] [François Rivenc] Ce bel ouvrage, clair, aéré et spacieux, se caractérise à la fois par sa volonté de simplicité d'accàs (en particulier pour la première partie, oú l'accent est mis sur le côté opératoire de la logique), et son ambition (deuxiéme partie, plus théorique), puisqu'on y trouve notamment une démonstration de la complétude d'un certain système déductif S1 pour la logique classique des prédicats, ainsi qu'une version synoptique du théorème de Gödel (1931), selon lequel toute thèorie du premier ordre (consistante) complète axiomatisable est décidable, d'où il s'ensuit que l'arithmétique, c'est-à-dire l'ensemble des énoncés du premier ordre vrais dans N, n'est pas axiomatisable; ce qu'on exprime souvent en disant que tout système formel pour l'arithmétique est incomplet, au sens où il y a des énoncés vrais qui ne sont pas des théorèmes du système. Copyright © Canadian Philosophical Association 1999 Dialogue Cambridge University Press 38/2(1999), 369-378 0012-2173 38:2<369 1999 38 DIA https://doi.org/10.1017/S0012217300007265 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1017/S0012217300007265 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Rivenc François Université de Paris I NATIONALLICENCE 773 0- Dialogue Cambridge University Press 38/2(1999), 369-378 0012-2173 38:2<369 1999 38 DIA CC0 http://creativecommons.org/publicdomain/zero/1.0 nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-cambridge