La logique du contenu sur la logique interne

La 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.