English words for 'The quality of being a theorem.'
Closest matches for "The quality of being a theorem." are ranked by semantic fit across dictionary definitions.
Search results
noun
- (mathematics, philosophy) A proof.
- A show of military force.
- Expression of one's feelings by outward signs.
- An event at which something will be demonstrated.
- A public display of group opinion, such as a protest march.
- The act of demonstrating; showing or explaining something.
- (prison slang) A prisoner's act of beating up another prisoner.
- a public display of group feelings (usually of a political nature)
- a show of military force or preparedness
- proof by a process of argument or a series of proposition proving an asserted conclusion
- a show or display; the act of presenting something to sight or view
- a visual presentation showing how something works
noun
name
adj
- (mathematics) Self-evident.
- (taxonomy) Relating to or designating the name of a species; specific as opposed to generic.
- Pertaining to the trivium.
- (algebra, of an algebraic structure or ideal thereof) Containing only one element; having an underlying set which is a singleton.
- Commonplace, ordinary.
- (philosophy) Indistinguishable in case of truth or falsity.
- Concerned with or involving trivia.
- (mathematics) Of, relating to, or being the simplest possible case.
- Ignorable; of little significance or value.
- of little substance or significance
- concerned with trivialities
- (informal) small and of little importance
noun
- (mathematics) A method of proof of a theorem by first proving it for a specific case (often an integer; usually 0 or 1) and showing that, if it is true for one case then it must be true for the next.
- An act of inducting.
- (embryology) Given a group of cells that emits or displays a substance, the influence of this substance on the fate of a second group of cells.
- (logic) Derivation of general principles from specific instances.
- (mechanical engineering) The delivery of air to the cylinders of an internal combustion piston engine.
- The process of showing a newcomer around a place where they will work or study.
- (theater) Use of rumors to twist and complicate the plot of a play or to narrate in a way that does not have to state truth nor fact within the play.
- A formal ceremony in which a person is appointed to an office or into military service.
- An act of inducing.
- (physics) Generation of an electric current by a varying magnetic field.
- (medicine) The process of inducing labour for the childbirth process.
- stimulation that calls up (draws forth) a particular class of behaviors
- an electrical phenomenon whereby an electromotive force (EMF) is generated in a closed circuit by a change in the flow of current
- an act that sets in motion some course of events
- a formal entry into an organization or position or office
- reasoning from detailed facts to general principles
- the act of bringing about something (especially at an early time)
noun
name
phrase
adj
- (logic) Of the characteristic feature of a proposition that is necessary (or impossible): perfectly certain (or inconceivable) or incontrovertibly true (or false); self-evident.
- Affording proof; demonstrative.
- Incontrovertible; demonstrably true or certain.
- of a proposition; necessarily true or logically certain
verb
noun
- (logic) A syntactically correct expression that is deducible from the given axioms of a deductive system.
- (mathematics) A mathematical statement of some importance that has been proven to be true. Minor theorems are often called propositions. Theorems which are not very interesting in themselves but are an essential part of a bigger theorem's proof are called lemmas.
- (mathematics, colloquial, nonstandard) A mathematical statement that is expected to be true.
- a proposition deducible from basic postulates
- an idea accepted as a demonstrable truth
noun
- (mathematics) Initialism of probabilistically checkable proof.
- (medicine) Abbreviation of pneumocystis pneumonia.
- (finance) Initialism of personal contract purchase.
- (organic chemistry) Abbreviation of pentachlorophenol.
- (biochemistry) Initialism of peptidyl carrier protein.
- (healthcare) Initialism of primary care practitioner (who may be a physician, a physician assistant, or a nurse practitioner).
- (chemistry) Abbreviation of phenylcyclohexylpiperidine, an alternative name for phencyclidine.
- (psychology) Initialism of personal construct psychology.
- (healthcare) Initialism of primary care physician.
- a drug used as an anesthetic by veterinarians; illicitly taken (originally in the form of powder or ‘dust’) for its effects as a hallucinogen
- a person who helps in identifying or preventing or treating illness or disability
name
noun
- (countable, mathematics) An assertion which is provably true, but not important enough to be called a theorem.
- (countable) An idea, plan, or suggestion offered.
- (grammar) A complete sentence.
- (uncountable) The act of offering (an idea) for consideration.
- (poetic) The part of a poem in which the author states the subject or matter of it.
- (countable, business settings) The terms of a transaction offered.
- (countable, US, politics) In some states, a proposed statute or constitutional amendment to be voted on by the electorate.
- A statement of religious doctrine; an article of faith; a creed.
- (countable, logic) The content of an assertion that may be taken as being true or false and is considered abstractly without reference to the linguistic sentence that constitutes the assertion; (Aristotelian logic) a predicate of a subject that is denied or affirmed and is connected by a copula.
- (informal) A suggestion of sexual intercourse (made to someone with whom one is not sexually involved).
- Misspelling of preposition.
- (countable, mathematics, philosophy) An assertion so formulated that it can be considered true or false.
- a task to be dealt with
- an offer for a private bargain (especially a request for sexual favors)
- (logic) a statement that affirms or denies something and is either true or false
- a proposal offered for acceptance or rejection
- the act of making a proposal
verb
noun
- (uncountable, mathematics) The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements.
- (countable, sociology) A system of thought or collection of rhetoric, especially one associated with a social practice.
- (uncountable) A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method.
- (countable) Any system of thought, whether rigorous and productive or not, especially one associated with a particular person.
- (countable, mathematics) A formal or informal language together with a deductive system or a model-theoretic semantics.
- (philosophy, logic) The study of the principles and criteria of valid inference and demonstration.
- (uncountable) The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit.
- a system of reasoning
- the branch of philosophy that analyzes inference
- the system of operations performed by a computer that underlies the machine's representation of logical operations
- the principles that guide reasoning within a given field or situation
- reasoned and reasonable judgment
adj
verb
noun
name
noun
- A statement expressing the essential nature of something; formulation
- A product of defining.
- Clarity, especially of musical sound in reproduction.
- (programming) A statement which provides a previous declaration with a value or body of a subroutine (in the case of function).
- (mathematics) A statement that establishes the referent of a term or notation.
- (crosswording) The part of a cryptic clue which defines but does not indicate the solution.
- Clarity of visual presentation, distinctness of outline or detail.
- (usually with the definite article the) A clear instance conforming to the dictionary or textbook definition.
- (bodybuilding) The degree to which individual muscles are distinct on the body.
- The act of defining; determination of the limits.
- Sharp demarcation of outlines or limits.
- The action or process of defining.
- (semantics, lexicography) A statement of the meaning of a word, word group, sign, or symbol; especially, a dictionary definition.
- The action or power of describing, explaining, or making definite and clear.
- clarity of outline
- a concise explanation of the meaning of a word or phrase or symbol
noun
- (mathematics) A proposition proved or accepted for immediate use in the proof of some other proposition.
- (psycholinguistics) The theoretical abstract conceptual form of a word, representing a specific meaning, before the creation of a specific phonological form as the sounds of a lexeme, which may find representation in a specific written form as a dictionary or lexicographic word.
- (linguistics, lexicography) The canonical form of an inflected word; i.e., the form usually found as the headword in a dictionary, such as the nominative singular of a noun, the bare infinitive of a verb, etc.
- (in phrases, by extension) A proposition originally used for such a purpose, but having later acquired a greater, independent, importance; a fundamental (often pithy) and widely-used result.
- (botany) The outer shell of a fruit or similar body.
- (botany) One of the specialized bracts around the floret in grasses.
- the lower and stouter of the two glumes immediately enclosing the floret in most Gramineae
- the heading that indicates the subject of an annotation or a literary composition or a dictionary entry
- a subsidiary proposition that is assumed to be true in order to prove another proposition
noun
- a means of proving a theorem by showing that if it is true of any particular case, it is true of the next case in a series, and then showing that it is indeed true in one particular case.
- (mathematics) A method of proof which, in terms of a predicate P, could be stated as: if P(0) is true and if for any natural number n>0, P(n) implies P(n+1), then P(n) is true for any natural number n.
noun
- (mathematics, measure theory) A property that is true almost everywhere in a given set (i.e., the set of points at which the property is not true is either of measure zero or a subset of a set of measure zero).
- Used other than figuratively or idiomatically: see generic, property.
- (topology, algebraic geometry) A property that is true in some dense open subset of a given set.
noun
- (mathematics, philosophy) A proof.
- A show of military force.
- Expression of one's feelings by outward signs.
- An event at which something will be demonstrated.
- A public display of group opinion, such as a protest march.
- The act of demonstrating; showing or explaining something.
- (prison slang) A prisoner's act of beating up another prisoner.
- a public display of group feelings (usually of a political nature)
- a show of military force or preparedness
- proof by a process of argument or a series of proposition proving an asserted conclusion
- a show or display; the act of presenting something to sight or view
- a visual presentation showing how something works
noun
name
noun
- (mathematics) A method of proof of a theorem by first proving it for a specific case (often an integer; usually 0 or 1) and showing that, if it is true for one case then it must be true for the next.
- An act of inducting.
- (embryology) Given a group of cells that emits or displays a substance, the influence of this substance on the fate of a second group of cells.
- (logic) Derivation of general principles from specific instances.
- (mechanical engineering) The delivery of air to the cylinders of an internal combustion piston engine.
- The process of showing a newcomer around a place where they will work or study.
- (theater) Use of rumors to twist and complicate the plot of a play or to narrate in a way that does not have to state truth nor fact within the play.
- A formal ceremony in which a person is appointed to an office or into military service.
- An act of inducing.
- (physics) Generation of an electric current by a varying magnetic field.
- (medicine) The process of inducing labour for the childbirth process.
- stimulation that calls up (draws forth) a particular class of behaviors
- an electrical phenomenon whereby an electromotive force (EMF) is generated in a closed circuit by a change in the flow of current
- an act that sets in motion some course of events
- a formal entry into an organization or position or office
- reasoning from detailed facts to general principles
- the act of bringing about something (especially at an early time)
noun
name
phrase
noun
- (mathematics) Initialism of probabilistically checkable proof.
- (medicine) Abbreviation of pneumocystis pneumonia.
- (finance) Initialism of personal contract purchase.
- (organic chemistry) Abbreviation of pentachlorophenol.
- (biochemistry) Initialism of peptidyl carrier protein.
- (healthcare) Initialism of primary care practitioner (who may be a physician, a physician assistant, or a nurse practitioner).
- (chemistry) Abbreviation of phenylcyclohexylpiperidine, an alternative name for phencyclidine.
- (psychology) Initialism of personal construct psychology.
- (healthcare) Initialism of primary care physician.
- a drug used as an anesthetic by veterinarians; illicitly taken (originally in the form of powder or ‘dust’) for its effects as a hallucinogen
- a person who helps in identifying or preventing or treating illness or disability
name
noun
- (countable, mathematics) An assertion which is provably true, but not important enough to be called a theorem.
- (countable) An idea, plan, or suggestion offered.
- (grammar) A complete sentence.
- (uncountable) The act of offering (an idea) for consideration.
- (poetic) The part of a poem in which the author states the subject or matter of it.
- (countable, business settings) The terms of a transaction offered.
- (countable, US, politics) In some states, a proposed statute or constitutional amendment to be voted on by the electorate.
- A statement of religious doctrine; an article of faith; a creed.
- (countable, logic) The content of an assertion that may be taken as being true or false and is considered abstractly without reference to the linguistic sentence that constitutes the assertion; (Aristotelian logic) a predicate of a subject that is denied or affirmed and is connected by a copula.
- (informal) A suggestion of sexual intercourse (made to someone with whom one is not sexually involved).
- Misspelling of preposition.
- (countable, mathematics, philosophy) An assertion so formulated that it can be considered true or false.
- a task to be dealt with
- an offer for a private bargain (especially a request for sexual favors)
- (logic) a statement that affirms or denies something and is either true or false
- a proposal offered for acceptance or rejection
- the act of making a proposal
verb
noun
- (uncountable, mathematics) The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements.
- (countable, sociology) A system of thought or collection of rhetoric, especially one associated with a social practice.
- (uncountable) A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method.
- (countable) Any system of thought, whether rigorous and productive or not, especially one associated with a particular person.
- (countable, mathematics) A formal or informal language together with a deductive system or a model-theoretic semantics.
- (philosophy, logic) The study of the principles and criteria of valid inference and demonstration.
- (uncountable) The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit.
- a system of reasoning
- the branch of philosophy that analyzes inference
- the system of operations performed by a computer that underlies the machine's representation of logical operations
- the principles that guide reasoning within a given field or situation
- reasoned and reasonable judgment
adj
verb
noun
name
noun
- A statement expressing the essential nature of something; formulation
- A product of defining.
- Clarity, especially of musical sound in reproduction.
- (programming) A statement which provides a previous declaration with a value or body of a subroutine (in the case of function).
- (mathematics) A statement that establishes the referent of a term or notation.
- (crosswording) The part of a cryptic clue which defines but does not indicate the solution.
- Clarity of visual presentation, distinctness of outline or detail.
- (usually with the definite article the) A clear instance conforming to the dictionary or textbook definition.
- (bodybuilding) The degree to which individual muscles are distinct on the body.
- The act of defining; determination of the limits.
- Sharp demarcation of outlines or limits.
- The action or process of defining.
- (semantics, lexicography) A statement of the meaning of a word, word group, sign, or symbol; especially, a dictionary definition.
- The action or power of describing, explaining, or making definite and clear.
- clarity of outline
- a concise explanation of the meaning of a word or phrase or symbol
noun
- (mathematics) A proposition proved or accepted for immediate use in the proof of some other proposition.
- (psycholinguistics) The theoretical abstract conceptual form of a word, representing a specific meaning, before the creation of a specific phonological form as the sounds of a lexeme, which may find representation in a specific written form as a dictionary or lexicographic word.
- (linguistics, lexicography) The canonical form of an inflected word; i.e., the form usually found as the headword in a dictionary, such as the nominative singular of a noun, the bare infinitive of a verb, etc.
- (in phrases, by extension) A proposition originally used for such a purpose, but having later acquired a greater, independent, importance; a fundamental (often pithy) and widely-used result.
- (botany) The outer shell of a fruit or similar body.
- (botany) One of the specialized bracts around the floret in grasses.
- the lower and stouter of the two glumes immediately enclosing the floret in most Gramineae
- the heading that indicates the subject of an annotation or a literary composition or a dictionary entry
- a subsidiary proposition that is assumed to be true in order to prove another proposition
noun
- a means of proving a theorem by showing that if it is true of any particular case, it is true of the next case in a series, and then showing that it is indeed true in one particular case.
- (mathematics) A method of proof which, in terms of a predicate P, could be stated as: if P(0) is true and if for any natural number n>0, P(n) implies P(n+1), then P(n) is true for any natural number n.
noun
- (mathematics, measure theory) A property that is true almost everywhere in a given set (i.e., the set of points at which the property is not true is either of measure zero or a subset of a set of measure zero).
- Used other than figuratively or idiomatically: see generic, property.
- (topology, algebraic geometry) A property that is true in some dense open subset of a given set.
verb
noun
- (logic) A syntactically correct expression that is deducible from the given axioms of a deductive system.
- (mathematics) A mathematical statement of some importance that has been proven to be true. Minor theorems are often called propositions. Theorems which are not very interesting in themselves but are an essential part of a bigger theorem's proof are called lemmas.
- (mathematics, colloquial, nonstandard) A mathematical statement that is expected to be true.
- a proposition deducible from basic postulates
- an idea accepted as a demonstrable truth
No matching words found. Try a broader description.
adj
- (mathematics) Self-evident.
- (taxonomy) Relating to or designating the name of a species; specific as opposed to generic.
- Pertaining to the trivium.
- (algebra, of an algebraic structure or ideal thereof) Containing only one element; having an underlying set which is a singleton.
- Commonplace, ordinary.
- (philosophy) Indistinguishable in case of truth or falsity.
- Concerned with or involving trivia.
- (mathematics) Of, relating to, or being the simplest possible case.
- Ignorable; of little significance or value.
- of little substance or significance
- concerned with trivialities
- (informal) small and of little importance
adj
- (logic) Of the characteristic feature of a proposition that is necessary (or impossible): perfectly certain (or inconceivable) or incontrovertibly true (or false); self-evident.
- Affording proof; demonstrative.
- Incontrovertible; demonstrably true or certain.
- of a proposition; necessarily true or logically certain