Now I know, as we all learn, natural numbers are positive integers. But how do we define positive?

The simple answer would be, greater than zero. However, that brings up the question of being "greater than". What exactly does "greater than" mean? I've heard definitions that \(a\) is greater than \(b\) if \(a-b\) > \(0\). But that definition *has* "greater than" in it!

Please help!

## Comments

Sort by:

TopNewestPositive numbers are numbers such that if you take the square root of it, the resulted number is real.

Log in to reply

So Zero is positive?

Log in to reply

"Greater than" is a total ordering of the natural numbers.

A total ordering applied to a set \(X\) assigns to any two elements which is "greater" (>) in a way that obeys the following rules:

A definition of the natural numbers might include the total order we learned as children \(\ldots,-2,-1,0,1,2,\ldots\) (Although of course there are additional structures on the integers).

So \(b-a>0\) is really just something we've all agreed upon, from this point of view.

Log in to reply