Counting without things

How can quantity be studied independently of what is being counted?

What structure is forced if we want to repeat an action consistently?

The earliest arithmetic likely began with a practical worry long before numerals appeared in clean columns.

A shepherd lets his flock out in the morning. The sheep pass through the gate one after another and disappear into the field. By evening they will return in shifting order. They will bunch together, scatter, hesitate, and crowd the entrance. The shepherd's concern is simple: knowing whether one animal is missing.

He might try to remember the flock directly, yet memory is a poor bookkeeping device. Sheep move, blur together, and crowd the entrance. The real task is keeping track of how many return.

So he invents a trick.

For each sheep that leaves, he puts one stone into a pouch. For each sheep that returns, he removes one stone. At sunset, if the pouch is empty, the flock is whole.

That small trick is more important than it first appears. The stones ignore nearly everything about sheep and preserve only the feature that matters here: one sheep, one stone; one sheep gone out, one stone added; one sheep returned, one stone removed.

This is the first educational surprise in arithmetic. The substitute succeeds by preserving the relevant structure itself. The shepherd has shifted from tracking sheep as animals to tracking quantity as a pattern.

Once that idea appears, the materials stop mattering very much. Sheep could be replaced by goats, jars, baskets, or days. Stones could be replaced by marks in sand, cuts on wood, or knots in a cord. The objects change. The pattern does not. Arithmetic begins when quantity can be studied independently of what is being counted.

If we strip the story down to only what matters structurally, very little remains.

There is a beginning: the count starts at zero.

There is a repeatable act: one more.

That is already enough to generate the world of counting:

0 -> 1 -> 2 -> 3 -> 4 -> ...

A number first appears as the trace left by repetition. To say “three” is to say that the same step has been taken three times from the start.

That is why the natural numbers feel so elementary. They arise from a remarkably small starting point: a distinguished beginning and a successor step that can be repeated while keeping the same meaning.

0 ──s──▶ 1 ──s──▶ 2 ──s──▶ 3 ──s──▶ …
│         │         │
│         │         └─ addition = iterate s
│         └─ addition = iterate s
└─ identity (start)

Read left to right, the diagram says that arithmetic begins as a way of moving from a chosen start by repeating one coherent action.

Once repetition is visible, addition stops looking like a second miracle. If one step can be repeated, then groups of steps can be combined. Take three steps, then two more. You arrive exactly where five steps would have taken you.

3 + 2 = 5

Addition is counting gathered into larger units. To add is to compose repetitions. Associativity is built in from the start: taking the same total number of steps gives the same result regardless of grouping.

Several important things have remained fixed through the whole story. Quantity survives replacement. Counting advances in exact steps rather than vague gradients. And repeated acts preserve their total when composed. Those invariants are easy to overlook because they feel obvious, but they are exactly what make arithmetic trustworthy.

That is why the shepherd's trick is richer than it first seems. Arithmetic lives in the structure that remains unchanged when the objects are replaced. Their outward appearance is irrelevant.

But this first arithmetic still has a hard boundary.

Its native motion is forward motion.

The shepherd can always add another stone to the pouch. He can always count one more step. When we ask to remove more stones than are there, the current number system reaches its edge. Counting moves forward smoothly, and arithmetic will need a richer world to make reversal past zero coherent.