arXiv Open Access 2017

A formal system of mathematics based on definitions

Christoph Thiele

Lihat Sumber

Abstrak

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

math.LO

Christoph Thiele

APA MLA BibTeX

Thiele, C. (2017). A formal system of mathematics based on definitions. https://arxiv.org/abs/1706.08905

Lihat di Sumber

Informasi Jurnal