A formal system of mathematics based on definitions
Logic
2020-04-10 v4
Abstract
We discuss a formal system of mathematics. We use it to construct the natural numbers.
Cite
@article{arxiv.1706.08905,
title = {A formal system of mathematics based on definitions},
author = {Christoph Thiele},
journal= {arXiv preprint arXiv:1706.08905},
year = {2020}
}
Comments
Updated from "On the first chapter" and "Definitions in mathematics" 39 pages, many tree figures