Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  Peano’s axiomatic
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
EN
The distinction between number as a name and number as a functor alludes to the important Zahl-Anzahl distinction emphasised by Gottlob Frege. We start from Peano's expression of the axiomatics of natural numbers in the framework of Leśniewski's elementary ontology (OE). Next, we proceed to the enrichment of elementary ontology with Frege's predication scheme (OEsub) and propose such formulation of this axiomatics in which the primitive term natural number (N) is replaced by the term number-functor (A). The nominal constants natural number (N) and zero (0) as well as the functor of the successor (S) are defined here.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.