browse words by letter
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
more about axiom
axiom |
5 definitions found From Webster's Revised Unabridged Dictionary (1913) [web1913]: Axiom \Ax"i*om\, n. [L. axioma, Gr ? that which is thought worthy, that which is assumed, a basis of demonstration, a principle, fr ? to think worthy, fr ? worthy, weighing as much as cf ? to lead, drive, also to weigh so much: cf F. axiome See {Agent}, a.] 1. (Logic & Math.) A self-evident and necessary truth, or a proposition whose truth is so evident as first sight that no reasoning or demonstration can make it plainer; a proposition which it is necessary to take for granted; as ``The whole is greater than a part;'' ``A thing can not at the same time, be and not be.'' 2. An established principle in some art or science, which though not a necessary truth, is universally received; as the axioms of political economy. Syn: {Axiom}, {Maxim}, {Aphorism}, {Adage}. Usage: An axiom is a self-evident truth which is taken for granted as the basis of reasoning. A maxim is a guiding principle sanctioned by experience, and relating especially to the practical concerns of life. An aphorism is a short sentence pithily expressing some valuable and general truth or sentiment. An adage is a saying of long-established authority and of universal application. From WordNet r 1.6 [wn]: axiom n 1: a saying that widely accepted on its own merits [syn: {maxim}] 2: in logic: a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident From The Free On-line Dictionary of Computing (13 Mar 01) [foldoc]: AXIOMA commercially available subset of {Scratchpad}, from {IBM}. ["Axiom - The Scientific Computing System", R. Jenks et al Springer 1992]. (1995-02-21) From The Free On-line Dictionary of Computing (13 Mar 01) [foldoc]: axiom A {well-formed formula} which is taken to be true without proof in the construction of a {theory}. Compare: {lemma}. (1995-03-31) From The Free On-line Dictionary of Computing (13 Mar 01) [foldoc]: AXIOM* A {symbolic mathematics} system. {A#} is one component of AXIOM*. Version: 2. (1995-02-21)
more about axiom