A formal system of mathematics based on definitions

2017/06/27 by Christoph Thiele, Thiele, Christoph
Computer Science · Mathematics · #03A99 #03B22 #Computability, Logic, AI Algorithms #FOS: Mathematics #History and Theory of Mathematics #Logic (math.LO) #Polynomial and algebraic computation

paper · pdf · doi:10.48550/arxiv.1706.08905

openalex publication_date 2017/06/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We discuss a formal system of mathematics. We use it to construct the natural numbers.

Related

• Mathematics ... Applications
• Mathematics as an Exact and Precise Language of Nature
• What is Math Really?
• The nature of properly human mathematics
• Mathematics and the formal turn