Constructing the natural numbers without set theory. As I understand it the idea of defining everything as sets is a relatively new idea in mathematics.  Does that mean there's a non-set theoretic definition of the natural numbers?  Could there be?

Here is a "naive" construction. A "natural number" is a sequence of (identical) marks. It doesn't really matter "which" mark you use (a vertical stroke, a star, a triangle, a circle or a letter from any alphabet are all acceptable choices). I shall use the letter x. So these are all examples of natural numbers:
xxxxxxx
xx
xxxxxxxxxxx
x
A new natural number is obtained from another by adding a single x at the end (either end, front or back, doesn't matter).
We define a way of making longer numbers from shorter ones, via concatenation:
xxxx $\oplus$ xxx = xxxxxxx.
In actual practice this operation sign is often omitted, as understood.
We define a second operation by taking "blocks" of marks (bi-directional arrays):
xxxx $\otimes$ xxx = 
xxxx
xxxx
xxxx
which we convert to a string sequence by laying the rows end-to-end.
I leave it to you, dear reader, to see if the Peano axioms for $\Bbb N - \{0\}$ are satisfied.
