# A formal system of mathematics based on definitions

## TL;DR

This paper introduces a formal mathematical system that utilizes definitions to construct natural numbers, aiming to provide a rigorous foundation for mathematics.

## Contribution

It presents a novel formal system based on definitions, offering a new approach to constructing natural numbers within a formal framework.

## Key findings

- Successful construction of natural numbers within the system
- Demonstration of the system's consistency and rigor
- Potential for formalizing broader mathematical theories

## Abstract

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

---
Source: https://tomesphere.com/paper/1706.08905