for each state the axiom, defintion illusrated. all the elemtns are written are whole numbers.
c<d since there exists a k that is an elemnt of W and k does not equal zero such that c+k=d
c<d since there exists a k that is an elemnt of W and k does not equal zero such that c+k=d