Why Zero Is Rational but Not a Natural Number (in India)

You have probably seen this in NCERT and wondered: is zero a natural number or not? One teacher said yes. Another said no. The textbook itself says "some authors include zero in \mathbb{N}, some don't" and then moves on as if the ambiguity is normal. Meanwhile, the same textbook is perfectly clear that zero is a rational number. What is going on?

The short answer: "rational" and "natural" are doing two very different jobs. Natural numbers are for counting, and whether to count zero depends on whether "nothing" is a thing worth having a count for. Rational numbers are for ratios, and writing 0 = 0/1 is unambiguously a ratio of integers. One is a convention with genuine philosophical content; the other is a mechanical check.

This article separates the two questions and explains why the Indian CBSE convention — zero is a whole number but not a natural number, and zero is rational — is the right one for the kind of mathematics you do in school.

The convention used in Indian schools

Here is what the NCERT syllabus standardises:

\mathbb{N} = \{1, 2, 3, 4, \dots\} \qquad \text{natural numbers — no zero}

\mathbb{W} = \{0, 1, 2, 3, \dots\} \qquad \text{whole numbers — zero included}

\mathbb{Z} = \{\dots, -3, -2, -1, 0, 1, 2, 3, \dots\} \qquad \text{integers}

\mathbb{Q} = \left\{\tfrac{p}{q} : p, q \in \mathbb{Z}, q \neq 0\right\} \qquad \text{rational numbers}

So in India, by convention:

Zero is not a natural number. It sits one rung up, in \mathbb{W}.
Zero is a whole number. That is the whole point of whole numbers — they are \mathbb{N} with zero added.
Zero is an integer, because \mathbb{W} \subset \mathbb{Z}.
Zero is a rational number, because 0 = 0/1, and 0 and 1 are both integers with 1 \neq 0.

The Indian textbook convention. $0$ is not in $\mathbb{N}$, but it *is* in $\mathbb{W}$, $\mathbb{Z}$, and $\mathbb{Q}$. Each of those three statements answers a different question.

Why zero is not a natural number (the question)

"Natural numbers" is the name for numbers you use to count. The question is whether counting includes zero.

If you ask "how many mangoes are in this basket?" and the basket has three, the answer is 3. If the basket has none, the answer is… 0? Or is the answer "there are no mangoes"?
"Three mangoes" is a counting statement. "No mangoes" is not really a count — it is an absence.

Historically, humans counted things for tens of thousands of years without a symbol for zero. Zero is an intellectual invention that arrived much later. In India around 628 CE, Brahmagupta laid down the formal arithmetic rules for zero in his Brahmasphutasiddhanta — what a + 0 equals, what a - 0 equals, what a \times 0 equals, and so on. The digit symbol 0 that the world now uses came out of the Indian numeral system and was transmitted through the Arab world to Europe.

So zero has two lives:

A placeholder digit in positional notation (305 needs a zero to keep the 3 in the hundreds place and the 5 in the units).
A number in its own right, obeying arithmetic rules.

The second of those — zero as a number — is the one we are asking about.

The naturals were settled long before zero arrived as a number. The original set was \{1, 2, 3, \dots\}. When zero was added, authors had to decide whether to fold it into the naturals or to give it its own status. Different traditions made different choices.

CBSE/Indian tradition: \mathbb{N} = \{1, 2, 3, \dots\}, zero excluded. Zero goes into a separate set called the whole numbers \mathbb{W} = \{0, 1, 2, \dots\}.
Much of Europe and the ISO standard: \mathbb{N} = \{0, 1, 2, 3, \dots\}, zero included.
Many pure-mathematicians: often use \mathbb{N}_0 = \{0, 1, 2, \dots\} and \mathbb{N}_1 = \{1, 2, 3, \dots\} to be explicit and avoid the argument.

None of these conventions is "wrong." They are choices, and they have consequences — for example, whether the statement "\mathbb{N} is closed under subtraction" can even be asked without an obvious answer of no.

In India, for historical and pedagogical reasons, zero is a whole number but not a natural one. That is the convention for every Indian textbook, every board exam, every competitive entrance. Use it without second-guessing — but know that it is a convention.

Why zero is a rational number (no convention, just a check)

"Rational" is not a convention. A number is rational if and only if it can be written in the form

\tfrac{p}{q}, \qquad p, q \in \mathbb{Z}, \qquad q \neq 0.

Zero passes this check easily. 0 = 0/1. Here p = 0 and q = 1. Both are integers. The denominator 1 is non-zero. So 0 is rational.

You can also write 0 = 0/7, 0 = 0/-3, 0 = 0/1\,000\,000. Any non-zero integer in the denominator works — all of them name the same point 0 on the number line.

Why 0/0 is not one of these: the definition of rational requires q \neq 0. If you allowed 0/0, you could not assign it a unique value — 0/0 multiplied by anything would still be 0/0, so every number would equal it. The convention "denominator nonzero" exists precisely to block this.

So the rationality of zero is not a convention. It follows from the definition of rational mechanically. You do not have to take anyone's word for it.

Pinning down the difference

Two questions, two answers, and they live in different parts of the mathematical universe.

"Is 0 a natural number?" is a definitional question. There is no deep fact to discover; the answer depends on which convention you are using. In Indian textbooks, no.
"Is 0 a rational number?" is a verifiable question. Check the definition. Can 0 be written as p/q with integer p and nonzero integer q? Yes. End of argument.

This distinction is worth holding onto because it explains a lot of other "is zero included?" questions you will meet.

Is 0! (zero factorial) equal to 1? Convention. Yes by convention, chosen to make binomial-theorem identities work out.
Is 0^0 equal to 1? Context-dependent convention. Yes in combinatorics and power-series land; indeterminate in calculus.
Is 0 a positive number? Convention. In Indian convention, no — zero is neither positive nor negative. In French convention, "positif" includes zero ("strictement positif" excludes it).

Each of these is a convention that is chosen to make the theorems come out clean. Each is independent of zero being rational — that one is just a calculation.

What to do on an exam

If the exam asks "is 0 a natural number?" the expected answer in India is no. Write "0 \notin \mathbb{N}."
If the exam asks "is 0 a whole number, integer, or rational number?" the expected answer is yes to all three.
If the exam asks you to decide between conventions, state the convention you are using before you answer — "taking \mathbb{N} = \{1, 2, 3, \dots\} as per CBSE …"

Is $\frac{0}{-5}$ a rational number?

Step 1. Check the form. We need p/q with p \in \mathbb{Z} and q \in \mathbb{Z}, q \neq 0.

Here p = 0 (an integer) and q = -5 (an integer, and nonzero). ✓

Step 2. Evaluate if needed. 0/(-5) = 0.

Conclusion. Yes, \tfrac{0}{-5} is a rational number; it equals 0. Two different fractions, 0/1 and 0/(-5), both name the same rational number. That is fine — every rational has many fractional representations, and 0 has infinitely many (one for every nonzero integer denominator).

The deeper takeaway

Number systems are not handed down from above. They are chosen, layer by layer, so that the mathematics you want to do works out smoothly.

Define \mathbb{N} to include 1, 2, 3, \dots because counting without zero is what the word was originally for.
Define \mathbb{W} to add zero because arithmetic with zero is cleaner and modern algebra needs an additive identity.
Define \mathbb{Z} to add negatives because you want subtraction to always produce an answer.
Define \mathbb{Q} to add fractions because you want division (except by zero) to always produce an answer.

Each extension is forced by the question "what does the previous set fail to do?" Zero joins at the \mathbb{W} step, because that is the extension that fixes "3 - 3" by giving it an answer. From that step onward, zero is along for the ride — into \mathbb{Z}, \mathbb{Q}, and \mathbb{R} — because every larger set is built on top of the one before it.

That is the logic. The convention "zero is not in \mathbb{N}" is a historical artifact. The fact "zero is in \mathbb{Q}" is a calculation. They look similar in textbooks but they are very different kinds of statement.

This satellite sits inside Number Systems.