💡 Words with a Similar Meaning to "Proof system"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| proofnoun | (uncountable) The degree of evidence which convinces the mind of any truth or fact, and produces belief; a test by facts or arguments which induce, or tend to induce, certainty of the judgment; conclusive evidence; demonstration. |
| axiomatic systemnoun | (logic) A set of axioms from which theorems can be derived. |
| analysisnoun | (countable) Decomposition into components in order to study (a complex thing, concept, theory, etc.). |
| theorynoun | (sciences) A coherent statement or set of ideas that explains observed facts or phenomena and correctly predicts new facts or phenomena not previously observed, or which sets out the laws and principles of something known or observed; a hypothesis confirmed by observation, experiment etc. |
| natural deductionnoun | A kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning, in contrast to axiomatic systems. |
| theoremnoun | (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. |
| formal systemnoun | (logic) The grouping of a formal language and a set of inference rules and/or axioms. |
| axiom systemnoun | A set of axioms or axiom schemata from which theorems can be derived. |
| axiomnoun | (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). |
| provernoun | One who or that which proves. |
| postulatenoun | Something assumed without proof as being self-evident or generally accepted, especially when used as a basis for an argument. Sometimes distinguished from axioms as being relevant to a particular science or context, rather than universally true, and following from other axioms rather than being an absolute assumption. |
| proof by examplenoun | (logic) A logical fallacy consisting of providing one or more examples as a proof of a more general statement. |
| proof by contradictionnoun | (mathematics, logic) The proof of a statement adduced by deriving a contradiction from the statement's negation. |
| predicate logicnoun | (logic) First-order logic. |
| tautologynoun | (uncountable) Redundant use of words, a pleonasm, an unnecessary and tedious repetition. |
| inference rulenoun | (logic, proof theory) A rule for combining (or modifying) well-formed formulas of a formal language in a truth-preserving manner (to yield new well-formed formulas). |
| forcingverb | (horticulture) The art of raising plants at an earlier season than is normal, especially by using a hotbed |
| propositional logicnoun | (logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives. |
| logicnoun | (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. |
| constructive logicnoun | (logic) Any kind of logic in which any proof of existence can be converted into an algorithm that constructs the mathematical object which it claims to exist. |
Translate “Proof system” into Another Language
Pick a language — the word will be pre-filled in the translator.