different between corollary vs axiom

English

Etymology

From Middle English, from Late Latin cor?ll?rium (“money paid for a garland; gift, gratuity, something extra; consequence, deduction”), from cor?lla (“small garland”), diminutive of cor?na (“crown”).

Pronunciation

• IPA^(key): /k????l??i/, /?k???l??i/
• (US) enPR: kôr'?l?r?, IPA^(key): /?k????l??i/
• (General Australian) IPA^(key): /k???o??l??i/

Noun

corollary (plural corollaries)

1. Something given beyond what is actually due; something added or superfluous.
2. Something which occurs a fortiori, as a result of another effort without significant additional effort.

   Finally getting that cracked window fixed was a nice corollary of redoing the whole storefront.

3. (mathematics, logic) A proposition which follows easily from the proof of another proposition.

   We have proven that this set is finite and well ordered; as a corollary, we now know that there is an order-preserving map from it to the natural numbers.

Translations

Adjective

corollary (not comparable)

1. Occurring as a natural consequence or result; attendant; consequential.
2. (rare) Forming a proposition that follows from one already proved.

Further reading

• corollary in Webster’s Revised Unabridged Dictionary, G. & C. Merriam, 1913.
• corollary in The Century Dictionary, New York, N.Y.: The Century Co., 1911.

English

Etymology

From Middle French axiome in the 15th century, from Latin axi?ma (“axiom; principle”), from Ancient Greek ?????? (axí?ma, “that which is thought to fit, a requisite, that which a pupil is required to know beforehand, a self-evident principle”), from ????? (axió?, “to think fit or worthy, to require, to demand”), from ????? (áxios, “fit, worthy”, literally “weighing as much as; of like value”), from ??? (ág?, “I drive”).

Pronunciation

• (Received Pronunciation) IPA^(key): /?aks.?.?m/
• (General American) enPR: ?k's??m, IPA^(key): /?æks.i.?m/
• Hyphenation: ax?i?om

Noun

axiom (plural axioms or axiomata) (the latter is becoming less common and is sometimes considered archaic)

1. (philosophy) A seemingly self-evident or necessary truth which is based on assumption; a principle or proposition which cannot actually be proved or disproved.
2. (logic, mathematics, proof theory) A fundamental assumption that serves as a basis for deduction of theorems; a postulate (sometimes distinguished from postulates as being universally applicable, whereas postulates are particular to a certain science or context).
3. An established principle in some artistic practice or science that is universally received.

Synonyms

• (philosophy, mathematics): axioma (now rare)
• (logic, mathematics): postulate

Hypernyms

• (logic): well-formed formula, wff, WFF

Hyponyms

• (mathematics): axiom of choice, axiom of infinity, axiom of pairing, axiom of power set, axiom of regularity, axiom of union, completeness axiom, parallel axiom

Holonyms

• (logic): formal system

Derived terms

• axiomatic
• axiomatical
• axiomatically
• axiomatise, axiomatize
• axiomatisation, axiomatization

Translations

See also

References

• axiom in The Century Dictionary, New York, N.Y.: The Century Co., 1911.
• axiom in Webster’s Revised Unabridged Dictionary, G. & C. Merriam, 1913.

Further reading

• axiom on Wikipedia.Wikipedia

Anagrams

• amoxi

Czech

Noun

axiom m

1. axiom

Derived terms

• axiom výb?ru m

Related terms

• axiomatický
• axiomatizovat
• axiomatizace

Swedish

Noun

axiom n

1. axiom

Declension

Related terms

• axiomatisk