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
Your question seems to be incomplete. I don't see any elements, illustrations or anything that an axiom would refer to. c, d, W and k are undefined.
