Die Widerspruchsfreiheit der reinen Zahlentheorie

1936/12/01 by Gerhard Gentzen · 9 citations
Arts and Humanities · #Philosophy, Science, and History

paper · doi:10.1007/bf01565428

crossref issued 1936/12/01 · crossref published 1936/12/01 · crossref published-print 1936/12/01 · openalex publication_date 1936/12/01 · crossref created 2005/06/18 · crossref deposited 2020/04/07 · openalex created_date 2025/10/10 · crossref indexed 2026/08/04 · openalex updated_date 2026/08/04

Citations

• Über das Unendliche
• Zum Hilbertschen Aufbau der reellen Zahlen
• Die Vollständigkeit der Axiome des logischen Funktionenkalküls
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Cited by

• Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation
• On the Graphical Representation of Proofs as Trees
• Accessible Independence Results for Peano Arithmetic
• Mathematics, the Empirical Facts, and Logical Necessity
• Die Widerspruchsfreiheit der allgemeinen Mengenlehre
• Hilbert's Program Then and Now
• Gentzen's consistency proof [wikipedia]
• Mathematical logic [wikipedia]
• Peano axioms [wikipedia]