View Single Post
disregardthat
disregardthat is offline
#16
Jul29-10, 08:22 PM
Sci Advisor
P: 1,679
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: [tex]\forall n \in \mathbb{Z}^{+} (n-1 < n)[/tex].