Scholarlink

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.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

A Framework for Metamathematics

  • 章节

  • 发表日期：

    2025年

查看全文
  • Lorenz Halbeisen,
  • Regula Krapf

摘要

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.