It rests axiomatically upon an affirmative definition of inequality for two natural numbers, and in other cases, upon a positive definition of distance (^ which brings into play three terms in an infinite series of affirmative relations.