axiom


Also found in: Dictionary, Thesaurus, Medical, Legal, Acronyms, Wikipedia.

axiom,

in mathematics and logic, general statement accepted without proofproof,
in mathematics, finite sequence of propositions each of which is either an axiom or follows from preceding propositions by one of the rules of logical inference (see symbolic logic).
..... Click the link for more information.
 as the basis for logically deducing other statements (theorems). Examples of axioms used widely in mathematics are those related to equality (e.g., "Two things equal to the same thing are equal to each other"; "If equals are added to equals, the sums are equal") and those related to operations (e.g., the associative lawassociative law,
in mathematics, law holding that for a given operation combining three quantities, two at a time, the initial pairing is arbitrary; e.g., using the operation of addition, the numbers 2, 3, and 4 may be combined (2+3)+4=5+4=9 or 2+(3+4)=2+7=9.
..... Click the link for more information.
 and the commutative lawcommutative law,
in mathematics, law holding that for a given binary operation (combining two quantities) the order of the quantities is arbitrary; e.g., in addition, the numbers 2 and 5 can be combined as 2+5=7 or as 5+2=7.
..... Click the link for more information.
). A postulate, like an axiom, is a statement that is accepted without proof; however, it deals with specific subject matter (e.g., properties of geometrical figures) and thus is not so general as an axiom. It is sometimes said that an axiom or postulate is a "self-evident" statement, but the truth of the statement need not be evident and may in some cases even seem to contradict common sense. Moreover, a statement may be an axiom or postulate in one deductive system and may instead be derived from other statements in another system. A set of axioms on which a system is based is often wished to be independent; i.e., no one of its members can be deduced from any combination of the others. (Historically, the development of non-Euclidean geometry grew out of attempts to prove or disprove the independence of the parallel postulate of Euclid.) The axioms should also be consistent; i.e., it should not be possible to deduce contradictory statements from them. Completeness is another property sometimes mentioned in connection with a set of axioms; if the set is complete, then any true statement within the system described by the axioms may be deduced from them.
The Columbia Electronic Encyclopedia™ Copyright © 2013, Columbia University Press. Licensed from Columbia University Press. All rights reserved. www.cc.columbia.edu/cu/cup/

axiom

control of the LABOUR PROCESS is a further topic of general importance. See also INTELLECTUAL LABOUR.

axiom

(as in geometry, but also in social theory) the taken-for-gr anted assumption or postulate of a model or theory from which other propositions can be derived. See also FORMAL THEORY AND FORMALIZATION OF THEORY.
Collins Dictionary of Sociology, 3rd ed. © HarperCollins Publishers 2000
The following article is from The Great Soviet Encyclopedia (1979). It might be outdated or ideologically biased.

Axiom

 

in a given theory, a proposition that is not proved in the deductive construction of the theory but is accepted as a basic starting point in proving the theory’s other propositions. Usually the propositions of the theory under examination chosen as axioms are known to be true or can be considered true within the framework of this theory.

Originating in ancient Greece, the term “axiom” is first encountered in Aristotle. It then entered geometry through the works of Euclid’s followers and commentators. Because of the popularity of Aristotelian philosophy during the Middle Ages, the term came to be used in other areas of science and then in everyday life. A general proposition which, being completely apparent, does not require proof came to be called an axiom. The nature of this obviousness was seen, according to views going back to Plato, that such fundamental truths as mathematical axioms were innate to man. I. Kant’s doctrine of the a priori quality of axioms—that they precede all experience and do not depend upon it—was the culmination of such views. The first strong blow to the view of axioms as eternal and immutable a priori truths was the construction of a non-Euclidean geometry by N. I. Lobachevskii.

In criticizing Hegel’s views on logical axioms, the figures of Aristotelian syllogisms, V. I. Lenin wrote that “man’s practical activity had to lead man’s consciousness billions of times to the repetition of various logical figures, so that these figures could attain the significance of an axiom” (Filosofskie tetradi, 1969, p. 172). The obviousness of axioms, which are considered as truths not requiring proof, is caused by the conditionality of centuries-old human experience and practice, including experimentation, and the development of science.

In addition, the decline of the concept of an axiom as an a priori truth led to the bifurcation of the concept of axioms. The need to experiment in the sphere of construction of new theories, ever-increasing in connection with the investigation of practice; the need to exchange one axiom for another, as well as their relativity; their dependence on the previously encountered concrete conditions of experience and on the level of the development of science; and the impossibility of selecting once and for all as axioms such propositions to be true absolutely under all conditions —all this caused the appearance of a concept of axioms in a sense which differed somewhat from the traditional. This concept of axioms depends on which theory is being examined and how it is being pursued. Thus, axioms of a given theory become those propositions that in the deductive construction of the theory are accepted as initial, no matter how simple and obvious they are. Moreover, from experience, for example, from the construction of various non-Euclidean geometries and their later interpretation and practical application, it is apparent that to require a theory’s axioms to be true while constructing that theory is impossible.

The creation of a developed apparatus of mathematical logic is connected with the subsequent development of the concept of axioms. In formal calculus, an axiom is no longer an assumption of some inclusive scientific theory but simply one of those formulas from which, according to the rules of deduction in this calculus, are deduced the remaining formulas (theorems) demonstrated in it.

A. V. KUZNETSOV

The Great Soviet Encyclopedia, 3rd Edition (1970-1979). © 2010 The Gale Group, Inc. All rights reserved.

axiom

[′ak·sē·əm]
(mathematics)
Any of the assumptions upon which a mathematical theory (such as geometry, ring theory, and the real numbers) is based. Also known as postulate.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.

axiom

1. a generally accepted proposition or principle, sanctioned by experience; maxim
2. a self-evident statement
3. Logic maths a statement or formula that is stipulated to be true for the purpose of a chain of reasoning: the foundation of a formal deductive system
Collins Discovery Encyclopedia, 1st edition © HarperCollins Publishers 2005

AXIOM

(language)
A commercially available subset of Scratchpad, from IBM.

["Axiom - The Scientific Computing System", R. Jenks et al, Springer 1992].

axiom

(logic)
A well-formed formula which is taken to be true without proof in the construction of a theory.

Compare: lemma.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive ?
The new warehouse located at Dubai Silicon Oasis (DSO) includes a range of pioneering distribution solutions that will give Axiom enhanced operational flexibility and efficiency with less manpower.
The post Swisslog delivers AutoStore warehouse system for Axiom Telecom in the UAE appeared first on Middle East Construction News .
Global chief operating officer Ian Cobban said: "Axiom are a well-known and respected company and in hearing about their trading difficulties we moved quickly to secure the purchase of their assets following their administration."
Axiom Foods reportedly provides niche vegan and allergen-friendly products to formulators as an increased number of consumers are demanding end-use products with healthier label claims.
"We are pleased to announce the completion of the acquisition of the remaining shares in Axiom, which was the origin of Arch's decision to become more visible in the UK Regional markets," said Steve Bashford, chief executive officer of the Arch UK Regional Division, headquartered in London.
Axiom will consist of a mix of luxurious one-, two-, and three-bedroom apartment homes.
Founded in 1999 and headquartered in The Woodlands, TX, Axiom is a market leader in the occupational health sector in North America, with unrivaled service quality and a very strong return on investment for clients in the USA, Canada and Mexico.
Axiom Brass is dedicated to enhancing the musical life of communities across the globe and educating the next generation of musicians.
Since 2013, Techconsult has been helping Axiom with different parts of the recruitment process, assisting in salary surveys, drafting job descriptions and posting adverts.
Summary: axiom telecom has recently been crowned with the prestigious Mohammed Bin Rashid Al Maktoum Business Award.
US-based Axiom Holdings, Inc., (OTCQB : AIOM) has completed a reverse merger under which CJC Hong Kong Ltd became a wholly owned subsidiary of Axiom Holdings, Inc., the company said.
BANKING AND CREDIT NEWS-December 30, 2016-CJC Hong Kong Limited becomes subsidiary of Axiom Holdings through reverse merger