Re: greece exit fine question, help please

>> They are *different* definitions - Wikipedia is using the term in the
>> modern way, which *doesn't* appeal to truth. Axioms are starting
>> points in deductive systems - it's a purely formal notion.
> The common connotation in all usage is that an axiom does not require
> proof.

Yes, but you were adding "...because it's obviously true" and that is
NOT the case.

In effect what you were doing was rolling the notions of soundness
and consistency in with that of being an axiom. They are properties
of *some* axiomatic systems but not all.

============== j-c ====== @ ====== purr . demon . co . uk ==============
Jack Campin: 11 Third St, Newtongrange EH22 4PU, Scotland | tel 0131 660 4760
<http://www.purr.demon.co.uk/jack/> for CD-ROMs and free | fax 0870 0554 975
stuff: Scottish music, food intolerance, & Mac logic fonts | mob 07800 739 557
.