Re: what makes it true?



grubb@xxxxxxxxxxxxxxxxx (Daniel Grubb) writes:

> The natural numbers are formally *defined* via some formal system.

So what definition would you give of "natural numbers" using a
formal system to somebody who doesn't already know what is meant
by the natural numbers?

.