On Thu, 20 Jul 2006 13:20:28 -0600, Virgil <email@example.com> wrote:
>In article <firstname.lastname@example.org>, > Lester Zick <DontBother@nowhere.net> wrote: > >> It is one of the quirks of moderm mathematics that the meaning of >> "definition" has been converted to "arbitrary assertion" or "fiat" >> solely in order to validate assumptions of truth without coming right >> out and saying so. > >Not in standard mathematics. If it is so in the sort of mathematics >Zilch does, then his sort is definitely substandard. > >In standard mathematics, definitions are no more than abbreviations, so >that anything said using a definition could, in theory, be said without >it, though at greater length, and often less comprehensibility
So whyn't you take it up with Dave who believes axioms are true by definition?