Talk:Natural Numbers are Comparable

In refactoring, consider how this page should relate (among others) to Definition:Ordering on Natural Numbers.

Approaches:

The definition page linked above defines a relation on any Peano structure which is then proven to be a total ordering.

The naturally ordered semigroup approach comes with a built-in total ordering, which is/must then be shown to obey the condition on the definition page above.

The von Neumann Natural number/integer approach has the epsilon relation and the set inclusion relation, which of course must also be shown to be a strict total ordering and a total ordering, respectively, in this context and to satisfy the definition page. --Dfeuer (talk) 18:51, 7 April 2013 (UTC)