TheoremBase

Discreteness of the Integers

If one integer is less than another, then it is less than the other by at least one.

Statement

In the setting of The Integers and the Rational Numbers, with the Natural Numbers and the Integers Identified with Subsets of the Rationals, let m,n∈Zm,n\in\mathbb{Z}.

If m<nm<n, then m+1≤nm+1\le n.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…