# Is there any construction of integers in which the naturals are subset of them?

At school we are often taught that natural are the same positive integers, integers are subset of the rational, these in turn are subset of real, etc.

But then in set theory, building natural according to the definition of Von Neumann is done, and there the naturals are not the same positive integers. Integers are equivalence classes of ordered pairs of natural numbers. Similarly, integers are not subset of rationals.

So if someone asks me if the naturals are subset of integers, should I answer no, because there is no construction in which they are?

• Constructions aside, ultimately number systems are defined by their properties. And the set of positive integers has all the properties we use to define the natural numbers.
– user137731
Sep 28, 2016 at 22:16
• Just work from your definition of subset. Every element of N is a member of the rationals so N is a subset of the rationals. The construction of the numbers doesn't change the actual properties of them. Sep 28, 2016 at 22:18
• @lordoftheshadows That's not really correct - the point of the OP is that in the usual formal definition of $\mathbb{Q}$ and $\mathbb{N}$, $\mathbb{N}$ is not a subset of $\mathbb{Q}$. Remember that a rational number is (usually) defined as an ordered pair of natural numbers - even the ones which are natural numbers! Basically, there's a type error: the natural number $0$ is different set-theoretically from the rational number $0$. (This has lead a number of people to argue that the usual set-theoretic framework is silly - not unreasonably . . .) Sep 28, 2016 at 22:21
• The integers might not be a subset of the rationals in a particular construction, but in any construction there is a subset of the rationals which has all of the properties of the integers. The constructions are there to formalize things, we do them once and then forget the dirty details, nobody think about ordered pairs as $\{\{a\},\{a,b\}\}$ and nobody writes $8\in 75$, even though that's true in some constructions of the naturals Sep 28, 2016 at 22:22
• @Alessandro: I'm not the OP, but I think your comment, or something like it, should be written up as an answer. I would upvote it. Sep 28, 2016 at 22:27