DEEn Dictionary De - En
DeEs De - Es
DePt De - Pt
 Vocabulary trainer

Spec. subjects Grammar Abbreviations Random search Preferences
Search in Sprachauswahl
Axiom
Search for:
Mini search box
 
English Dictionary: Axiom by the DICT Development Group
5 results for Axiom
From WordNet (r) 3.0 (2006) [wn]:
axiom
n
  1. a saying that is widely accepted on its own merits [syn: maxim, axiom]
  2. (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident
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,
            [bd]The whole is greater than a part;[b8] [bd]A thing can
            not, at the same time, be and not be.[b8]
  
      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 The Free On-line Dictionary of Computing (15Feb98) [foldoc]:
   AXIOM
  
      A 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 (15Feb98) [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 (15Feb98) [foldoc]:
   AXIOM*
  
      A {symbolic mathematics} system.
  
      {A#} is one component of AXIOM*.
  
      Version: 2.
  
      (1995-02-21)
  
  
No guarantee of accuracy or completeness!
©TU Chemnitz, 2006-2024
Your feedback:
Ad partners