Report
A formal system of mathematics based on definitions
| العنوان: | A formal system of mathematics based on definitions |
|---|---|
| المؤلفون: | Thiele, Christoph |
| سنة النشر: | 2017 |
| المجموعة: | Mathematics |
| مصطلحات موضوعية: | Mathematics - Logic, 03B22, 03A99 |
| الوصف: | We discuss a formal system of mathematics. We use it to construct the natural numbers. Comment: Updated from "On the first chapter" and "Definitions in mathematics" 39 pages, many tree figures |
| نوع الوثيقة: | Working Paper |
| URL الوصول: | http://arxiv.org/abs/1706.08905 |
| رقم الانضمام: | edsarx.1706.08905 |
| قاعدة البيانات: | arXiv |
| الوصف غير متاح. |