ID | 84172 |
Author |
Ito, Yoshifumi
Professor Emeritus, The University of Tokushima
Tokushima University Educator and Researcher Directory
KAKEN Search Researchers
|
Content Type |
Departmental Bulletin Paper
|
Description | In this paper,we give the new complete solution of the definition of
the concept of natural numbers and its existence. This work is the English version of my work in Ito [6], Chapter 2, Section 2.1. It is important to notice that we do not use Gödel's Incompletcness Theorem.This gives the consideration and the solution of Hilbert's second problem "the proof of consistency of the axioms of arithmetic" in the other angle by changing the point of view.Namely,giving the definition of the concept of natural numbers means providing the complete system of axioms which determines the set of all natural numbera as an algebraic system. The proof of the existence of the concept of natural numbers means constructing a model of natural numbers as the set of all natural numbers as an algebraic system in the concrete manner on the basis of the ZFC set theory. Thereby,at the same time,we give the new complete solutions of the problem of the foundation of analysis and the problem of the foundation of geometry. |
Journal Title |
Journal of mathematics, the University of Tokushima
|
ISSN | 13467387
|
NCID | AA11595324
|
Volume | 45
|
Published Date | 2011
|
FullText File | |
language |
eng
|
TextVersion |
Publisher
|
departments |
Science and Technology
|