We present a manuscript of Paul Lorenzen that provides a proof of consistency for elementary number theory as an application of the construction of the free countably complete pseudocomplemented semilattice over a preordered set. This manuscript rests in the Oskar-Becker-Nachlass at the Philosophisches Archiv of Universität Konstanz, file OB 5-3b-5. It has probably been written between March and May 1944. We also compare this proof to Gentzen's and Novikov's, and provide a translation of the manuscript.

L’objet de cet essai est l’accueil des entités mathématiques dans l’architecture des modes d’existence proposée par Bruno Latour dans le cadre de son ontologie pluraliste du monde moderne [Latour 2012]. Les travaux de Reviel Netz sur l’émergence des mathématiques grecques [Netz 1999] et de Charles Sanders Peirce sur la dimension diagrammatique de l’activité mathématique [Peirce 1933-1958], [Peirce 1976] sont employés pour proposer une réponse dans le cadre d’une conception empirique des mathématiques basée sur la notion d’expérience chère à William James (...) [James 2007] et inspirée par certains aspects de la philosophie de Per Martin-Löf [Martin-Löf 1987]. Cette approche permet de penser la solide certitude dont la démonstration dote les résultats mathématiques tout en invalidant son interprétation comme la marque d’un accès direct à une vérité absolue et transcendante. (shrink)