---
aliases: [theorem]
---
#logic #proof
## Definition
> [!tldr] Definition
> A **theorem** is a [[Propositions|proposition]] that is true, and which is accompanied by a correct mathematical [[Proof|proof]].
Notes:
- Other designations for propositions that are similar to theorems include:
- *Lemma*. This is a theorem that is not a significant fact on its own, but rather it serves merely to help prove a larger and more significant theorem.
- *Corollary*. This is a theorem that follows directly from another, more general theorem, usually as a special case.
- Another related term is *conjecture*, which is a proposition that we *believe* is true but which does not yet have a proof.