This is a list of notable theorems. Lists of theorems and similar statements include: List of algebras List of algorithms List of axioms List of conjectures...

the fundamental theorem of arithmetic is basic to what would now be called number theory. Some of these are classification theorems of objects which are...

Gödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of provability in formal axiomatic theories...

called a theorem is a proved result that is not an immediate consequence of other known theorems. Moreover, many authors qualify as theorems only the...

mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major motivating factor for the development of computer science...

This is a list of misnamed theorems in mathematics. It includes theorems (and lemmas, corollaries, conjectures, laws, and perhaps even the odd object)...

Sylow theorems Transcendence of e and π (as corollaries of Lindemann–Weierstrass) Tychonoff's theorem (to do) Ultrafilter lemma Ultraparallel theorem Urysohn's...

is a list of lemmas (or, "lemmata", i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list of axioms...

fact, a special case of the unique factorization theorem in commutative Möbius monoids. Integer factorization List of theorems called fundamental Prime...

mathematics, specifically in the field of finite group theory, the Sylow theorems are a collection of theorems named after the Norwegian mathematician...

List of representations of e List of inequalities List of lemmas List of mathematical identities List of mathematical proofs List of theorems List of...

been keeping a ranking of proof assistants by the amount of formalized theorems out of a list of 100 well-known theorems. As of September 2023, only five...

search for the term, in double quotes as of September 2022[update]. The conjecture terminology may persist: theorems often enough may still be referred to...

_{a}^{b}g(x)\,dx.} There are various slightly different theorems called the second mean value theorem for definite integrals. A commonly found version is...

There are two fundamental theorems of welfare economics. The first states that in economic equilibrium, a set of complete markets, with complete information...

works of the 17th-century mathematician Pierre de Fermat engendered many theorems. Fermat's theorem may refer to one of the following theorems: Fermat's...

Probability Theory. New York: Macmillan. pp. 13–28. Formal definition of probability in the Mizar system, and the list of theorems formally proved about it....

There are a number of generalisations to Banach fixed-point theorem and further; these are applied in PDE theory. See fixed-point theorems in infinite-dimensional...

set", Encyclopedia of Mathematics, EMS Press, 2001 [1994] Formal definition of Borel Sets in the Mizar system, and the list of theorems Archived 2020-06-01...

loge(x). In analytic number theory, Mertens' theorems are three 1874 results related to the density of prime numbers proved by Franz Mertens. In the...

Several theorems are named after Karl Weierstrass. These include: The Weierstrass approximation theorem, of which one well known generalization is the...

by others and credited as theorems of Fermat (for example, Fermat's theorem on sums of two squares), Fermat's Last Theorem resisted proof, leading to...

theorem may refer to: Any of many theorems related to the circle; often taught as a group in GCSE mathematics. These include: Inscribed angle theorem...

The fundamental theorem of calculus is a theorem that links the concept of differentiating a function (calculating its slopes, or rate of change at each...

which is impossible. The theorems in this section simultaneously imply Euclid's theorem and other results. Dirichlet's theorem states that for any two...

by d {\displaystyle d} is τ . {\displaystyle \tau .} Metrization theorems are theorems that give sufficient conditions for a topological space to be metrizable...

statements that appear to contradict themselves List of scientific laws named after people List of theorems Scientific phenomena named after people Campbell...

the Isabelle theorem prover. Other proofs are also known. Gödel's incompleteness theorems Original proof of Gödel's completeness theorem Batzoglou, Serafim...

In social choice theory, May's theorem, also called the general possibility theorem, says that majority vote is the unique ranked social choice function...

incompleteness theorems. That the latter theorems have much to say about all of mathematics and more controversially, about a range of philosophical issues...