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...

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

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

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...

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...

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

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

_{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...

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...

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...

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...

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...

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...

of the theorem. Euclid offered a proof published in his work Elements (Book IX, Proposition 20), which is paraphrased here. Consider any finite list of...

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...

of Bath mathematics course Pérez-Garrido, A. (2024-05-01). "Recovering seldom-used theorems of vector calculus and their application to problems of electromagnetism"...

singularity theorems (after Roger Penrose and Stephen Hawking) are a set of results in general relativity that attempt to answer the question of when gravitation...