01247nlm0 22002051i 450 001001200000006001900012007001500031008004100046020001500087040000800102100001800110245004900128260001200177260003000189300001100219520055100230856009000781856009300871856007700964HARMA 17437m    g0  d        cr mn ---auama241125c               go  d        fre    a2747565580  bfre0 aYvon Gauthier  aLa logique du contenu sur la logique interne  aParis :  bEditions L'Harmattan  a178 p.  aLa logique du contenu est la logique interne d'une théorie. La théorie est ici mathématique et la théorie mathématique première est l'arithmétique et ses extensions, ce que l'on peut bien appeler l'arithmétique générale après Kronecker. Le programme kroneckerien (et antifrégéen) dans les fondements des mathématiques signifie que l'on doit fonder la logique et le reste des mathématiques sur l'arithmétique au sens de la théorie des nombres et non au sens de l'arithmétique ensembliste de Peano ou de Dedekind.40uhttps://www.editions-harmattan.fr/catalogue/couv/2747565580r.jpg2Image de couverture40uhttps://www.harmatheque.com/downloadebook/27475655802Télécharger le livre au format PDF40uhttps://www.harmatheque.com/readebook/27475655802Lire ce livre en ligne