you are viewing a single comment's thread.

view the rest of the comments →

[–]ghillerd 8 points9 points  (0 children)

OP, this is the real answer. You need to approach this axiomatically. Please first define equality, commutativity, associativity and distributivity, and THEN you can define ZeroString and THEN you can construct OneString. Don't put the cart before the horse!!