Philosophy Lexicon of Arguments

One, number 1: in modern logic it is not possible to introduce the number one directly. It must be introduced indirectly, via existential quantification ("for at least one x ...") and universal quantification ("for all x ..."). In addition, identity is needed. See also definition, identity, logic, elementary logic, number theory, numbers.
Author Item    More concepts for author
Frege, Gottlob One (Number 1)   Frege, Gottlob
Hilbert, D. One (Number 1)   Hilbert, D.
Lewis, David One (Number 1)   Lewis, David
Prior, Arthur One (Number 1)   Prior, Arthur
Schröder, E. One (Number 1)   Schröder, E.

Ed. Martin Schulz, access date 2017-05-29