| Oracle FAQ | Your Portal to the Oracle Knowledge Grid | |
Home -> Community -> Usenet -> comp.databases.theory -> Re: computational model of transactions
On Fri, 04 Aug 2006 21:53:07 GMT, "Brian Selzer"
<brian_at_selzer-software.com> wrote:
>According to Webster, an axiom is (1) a maxim widely accepted on its
>intrinsic merit, (2) a statement accepted as true as the basis for argument
>or inference, or (3) an established rule or principle or a self-evident
>truth. In addition, axiomatic means self-evident.
Using general meaning for a term used in its specific sense is sloppy thinking!
Note this from dictionary.reference.com: "A self-evident principle or one that is accepted as true without proof as the basis for argument; a postulate."
Note the second side of the or. That meaning is truer to its use in logic.
[snip]
Sincerely,
Gene Wirchenko Received on Fri Aug 04 2006 - 18:55:05 CDT
![]() |
![]() |