On Wed, 8 Jan 2003, Ken Hirsch wrote: > In general you have to consider the whole system, including derivation > rules, not just the axioms, although you can certain start with a set of > axioms like: > > { x=1, x=2} > or, come to think of it, > { 1=2 }
You'd first have to define what '=' means, that would be your axiom. 'x', '1', and '2' would simply be symbols derived from the definition of '='. -- ____________________________________________________________________ We are all interested in the future for that is where you and I are going to spend the rest of our lives. Criswell, "Plan 9 from Outer Space" [EMAIL PROTECTED] [EMAIL PROTECTED] www.ssz.com www.open-forge.org --------------------------------------------------------------------