(number theory) A theorem that states precisely which quadratic imaginary number fields admit unique factorization in their ring of integers.

(quantum mechanics) A no-go theorem that places certain constraints on the permissible types of hidden-variable theories that try to explain the apparent randomness of quantum mechanics as a deterministic model featuring hidden states. It demonstrates the impossibility of quantum-mechanical observables representing "elements of physical reality".

(number theory) The theorem that the Diophantine equation aⁿ+bⁿ=cⁿ has no solutions for positive integers a,b,c,n, where n>2.

(number theory) The theorem that, for any prime number p and integer a, aᵖ-a is an integer multiple of p.

plural of mean value theorem

(topology) A theorem which states that for any open covering of some given set in Euclidean n-space there is an open subcovering (of that same set) which is countable.

(topology) The theorem that states that a simple closed curve (Jordan curve) divides the plane into precisely two distinct areas.

(mathematics, computing theory) A theorem stating that, when applying reduction rules to terms in the lambda calculus, the ordering in which the reductions are chosen makes no difference to the eventual result.

Synonym of de Moivre's formula

plural of prime number theorem