(physics) A theorem that relates the time derivative of the expectation values of the position and momentum operators x and p to the expectation value of the force F=-V'(x) on a massive particle moving in a scalar potential V(x).

(mathematics) The two-dimensional counterpart of the ham sandwich theorem.

(logic, mathematics) One of two theorems in mathematical logic that demonstrates the inherent limitations of every formal axiomatic system containing basic arithmetic.

(mathematics) the theorem that there is at least one prime number between n and 2n for every n>1, i.e.:

(mathematics) A theorem stating that there is no nonvanishing continuous tangent vector field on the sphere; colloquially, that "you can't comb a hairy ball flat without creating a cowlick".

(statistics and mathematics, singular only) The theorem that states that if the sum of independent identically distributed random variables has a finite variance, then it will be approximately normally distributed.

(set theory) A theorem which (in a simpler formulation) states that a closed uncountable set in Euclidean n-space is equal to the disjoint union of a perfect set and a countable set.

(calculus) A theorem that states for each value between the least upper bound and greatest lower bound of the image of a continuous function there is a corresponding point in its domain that the function maps to that value.

(mathematics) Any of various theorems that saliently concern mean values.

(mathematical analysis) A theorem which states that any real-valued Lebesgue integrable function can be approached arbitrarily closely from below by an upper semicontinuous function and also from above by a lower semicontinuous function.