论文标题
洛伦岑（Lorenzen）的基本数字理论的一致性证明[带有“ ein halbordnungstheoretischer widerspruchsfreiheitsbeweis''的版本和翻译”]
Lorenzen's proof of consistency for elementary number theory [with an edition and translation of "Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis'']
论文作者
论文摘要
我们提出了保罗·洛伦岑（Paul Lorenzen）的手稿，该手稿提供了基本数字理论的一致性证明，以应用预订的集合的自由度完整的伪完整的半静止。该手稿位于奥斯卡 - 贝克 - 纳克拉斯（Oskar-Becker-Nachlass）的哲学档案馆{ä} t konstanz的哲学档案中，文件OB 5-3B-5。它可能是在1944年3月到1944年5月之间写的。我们还将此证明与绅士和诺维科夫的证据进行了比较，并提供了手稿的翻译。
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.
