定理は、まずいくつかの条件を列挙し、次にその下で成り立つ結論を述べるという形をしている。
例えば、次は代数学の基本定理の述べ方の1つである。

前提条件：f(X) は複素数係数のn次方程式である。
結論：f(X) は複素数の根を持つ