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...
A history of the construction of number has been in line with the process of recognition about the p...
The systems of arithmetic discussed in this work are non-elementary theories. In this pape...
Ernst Zermelo’s axioms published in 1908 are so far the base of many contemporary set theories. We d...
In this paper, we propose the new axiomatic method completely different from old ones. Thereby we su...
independent of all of them, but only based upon logic. This conservative concept, however, needs to ...
The purpose of this thesis is to present an axiomatic foundation for the development of the natural ...
The natural numbers are presented first in the master's thesis. We introduced them through Pean axio...
It is widely assumed within developmental psychology that spontaneously-arising conceptualizations o...
Putnam suggests in the Dewey Lectures that the notion of correspondence between language and subject...
This paper discusses ways in which Kant's characterization of natural number in the Critique of Pure...
UnrestrictedIn this essay I present and defend a formalist conception of arithmetic. I begin with ...
Includes bibliographical references.Natural numbers, although they pervade much of mathematics, are ...
Frege discussed Mill’s empiricist ideas and Kant’s rationalist ideas about the nature of mathematics...
Taking as premises some intuitions about the essences of natural numbers, pluralities and sets, the ...
The present first part about the eventual completeness of mathematics (called "Hilbert mathematics")...
A history of the construction of number has been in line with the process of recognition about the p...
The systems of arithmetic discussed in this work are non-elementary theories. In this pape...
Ernst Zermelo’s axioms published in 1908 are so far the base of many contemporary set theories. We d...
In this paper, we propose the new axiomatic method completely different from old ones. Thereby we su...
independent of all of them, but only based upon logic. This conservative concept, however, needs to ...
The purpose of this thesis is to present an axiomatic foundation for the development of the natural ...
The natural numbers are presented first in the master's thesis. We introduced them through Pean axio...
It is widely assumed within developmental psychology that spontaneously-arising conceptualizations o...
Putnam suggests in the Dewey Lectures that the notion of correspondence between language and subject...
This paper discusses ways in which Kant's characterization of natural number in the Critique of Pure...
UnrestrictedIn this essay I present and defend a formalist conception of arithmetic. I begin with ...
Includes bibliographical references.Natural numbers, although they pervade much of mathematics, are ...
Frege discussed Mill’s empiricist ideas and Kant’s rationalist ideas about the nature of mathematics...
Taking as premises some intuitions about the essences of natural numbers, pluralities and sets, the ...
The present first part about the eventual completeness of mathematics (called "Hilbert mathematics")...
A history of the construction of number has been in line with the process of recognition about the p...
The systems of arithmetic discussed in this work are non-elementary theories. In this pape...
Ernst Zermelo’s axioms published in 1908 are so far the base of many contemporary set theories. We d...