> This may be a few days late, but we have a question
> from the stands:
> Just what is an axiom?
> I thought that an axiom was "a statement that cannot be
> verified without incorperating the axiom into the proof."
> Which brings up another question:
> Suppose that someone proves an axiom. What is it then?
Well..Sometimes, there are several different ways of axiomatically
constructing a system. In this case, you *have* to be able to prove the
axioms of definition A, not duplicated in definition B, from the axioms of
definition B.
I was savaged on an exam question because of the above technicality.
//////////////////////////////////////////////////////////////////////////
/ Towards the conversion of data into information....
/
/ Kenneth Boyd
//////////////////////////////////////////////////////////////////////////