0

In his book set theory and the continuum hypothesis, Cohen writes:

Let us state Peano's axioms in the usual form:

  1. each integer has a unique successor

  2. there is an integer $0$ - which is not the successor of any integer

  3. two distinct integers cannot have the same successor

  4. if $M$ is a set of integers such that $0$ is in $M$, and such that if an integer $X$ is in $M$ then its successor is in $M$, then every integer is in $M$.

Checking wikipedia, an integer is a whole number $\in\mathbb Z:=\{\dots, -2, -1, 0, 1, 2, \dots\}$, but Cohen seems to use the word integer to just denote the nonnegative integers (i.e. $x\in\mathbb Z$ with $x\geq 0$). Thus my question:

Do some authors mean by integer the same as natural number, although some authors refer to the whole set $\mathbb Z$ as integers?

3 Answers3

2

Yes, unfortunately in logic sometimes the word "integer" is used to refer to "natural number."

Noah Schweber
  • 245,398
1

The set of Natural Numbers in and of itself is ambiguous.

Some define $\mathbb{N}$ as the set of positive integers (A.K.A. {1, 2, 3, 4, ...}).

Some define $\mathbb{N}$ as the set of non-negative integers (A.K.A. {0, 1, 2, 3, 4, ...}).

  • That's not the the point of my question. It's a completely different issue. –  Dec 02 '16 at 22:14
0

Depending on the context it is often convenient to narrow or widen the denotation of common terms. You met one example of the former (narrowing). An example of the latter (widening) occurs in algebraic number theory, where "integer" means an algebraic integer (in the ambient number field), and elements of $\,\Bbb Z\,$ are referred to as rational integers.

Another example is "irrational". In elementary contexts this is restricted to real numbers, but in more advanced contexts it is extended to other fields, e.g. see the thread Is $\,i\,$ irrational?

Bill Dubuque
  • 272,048