View Single Post
 Sci Advisor P: 1,670 0 < 1 /\ 1 < 2 /\ 2 < 3 ... is a reasonable interpretation of 0<1<2<3..., but what does this mean? It is supposed to represent an infinite string of symbols, but that doesn't make much sense. What you want to say can be described by using quantifiers as such: $$\forall n \in \mathbb{Z}^{+} (n-1 < n)$$.