A Framework for Metamathematics

Lorenz Halbeisen and Regula Krapf
Additional contact information
Lorenz Halbeisen: ETH Zurich, Department of Mathematics
Regula Krapf: Universität Bonn, Mathematics Institute

Chapter Chapter 0 in Gödel's Theorems and Zermelo's Axioms, 2025, pp 1-5 from Springer

Abstract: Abstract In the late 19th and early 20th century, several unsuccessful attempts were made to develop the natural numbers from logic. The most promising approaches were the ones due to Frege and Russell, but also their approaches failed at the end. Even though it seems impossible to develop the natural numbers just from logic, it is still necessary to formalise them.

Date: 2025
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-031-85106-3_1

Ordering information: This item can be ordered from
http://www.springer.com/9783031851063

DOI: 10.1007/978-3-031-85106-3_1

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().