Hi...

I have an excercise that is keeping me up all day and night..

The problem is:

"There is an infinite set of formulae $\displaystyle T=<a_0,a_1,a_2,....> $ and those formulae involve atoms from a finite set $\displaystyle M=<p_1,p_2,p_3,.....,p_n>$.

Show that if $\displaystyle a_i \models a_i _+_1 , i=0,1,2,..$, then there is a natural number $\displaystyle m\leq2^n$ which $\displaystyle a_m \equiv a_m_+_1$

Thank you in advance..