01546nlm0 22002531i 450 001001200000010001600012100003900028101000600067102000600073105001600079135001600095200008800111210004100199215000900240230002300249301001300272305005600285330054900341336007500890700001600965856009000981856011401071856010701185HARMA 17437a9782296362482a20241125d2004    u  y0frea0103    baafreafrea    z   001z adrun nnnauauaaLa logique du contenu sur la logique interneb[Ressource électronique]fYvon GauthieraPariscEditions L'Harmattand2004a178 p.a[Données textuelles]a2747565580aVersion électronique de l'édition papier : 2747565580aLa 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.aType de ressource électronique : données textuelles et iconographiquesaYvon Gauthier40uhttps://www.editions-harmattan.fr/catalogue/couv/2747565580r.jpg2Image de couverture40uhttps://www.harmatheque.com/downloadebook/2747565580zAccès après authentification2Télécharger au format PDF40uhttps://www.harmatheque.com/readebook/2747565580zAccès après authentification2Lire ce livre en ligne