Conditional theorem
- Category
- STANDARD MATHEMATICS
- Definition
- A theorem whose conclusion is established provided another stated proposition is assumed.
- Math Level
- GENERAL
- Index Excerpt
- assuming RH; conditional result
A conditional theorem is a proved implication whose conclusion follows if another stated proposition is assumed.
For example, a result of the form “if RH is true, then X” can be rigorous mathematics even while RH itself remains unproved. If the assumption were later proved, every theorem depending only on it would become unconditional.
See also: theorem, assumption, implication, Riemann Hypothesis..