mathematical theorem

A mathematical theorem is a rigorously proven statement derived from axioms and previously established results, expressing a fundamental truth within a formal mathematical system.

Observed surface forms (49)

• theorem ×6
• fixed-point theorem ×3
• mathematical inequality ×3
• statistical theorem ×3
• Markov process ×2
• probability theorem ×2
• result in algebraic geometry ×2
• result in commutative algebra ×2
• result in mathematical logic ×2
• result in stochastic calculus ×2

• theorem in algebraic geometry ×2
• theorem in commutative algebra ×2
• theorem in differential geometry ×2
• theorem in differential topology ×2
• theorem in functional analysis ×2
• theorem in general relativity ×2
• theorem in probability theory ×2
• theorem in quantum field theory ×2
• theorem in quantum mechanics ×2
• axiomatization of entropy ×1
• combinatorial lemma ×1
• family of theorems ×1
• index theorem ×1
• lemma ×1
• lemma in number theory ×1
• metamathematical theorem ×1
• no-hair theorem ×1
• number theory result ×1
• quantum mechanics theorem ×1
• result in abstract algebra ×1
• result in analytic number theory ×1
• result in elementary number theory ×1
• result in linear regression theory ×1
• result in mathematics ×1
• result in stochastic analysis ×1
• tensor equation ×1
• theorem about curvature ×1
• theorem in algebra ×1
• theorem in analysis ×1
• theorem in calculus ×1
• theorem in complex analysis ×1
• theorem in computational complexity theory ×1
• theorem in differential equations ×1
• theorem in number theory ×1
• theorem in numerical analysis ×1
• theorem in physics ×1
• theorem in stochastic calculus ×1
• theoretical physics result ×1
• topological theorem ×1

Instances (64)

• Feynman–Hellmann theorem via concept surface "quantum mechanics theorem"
• Minkowski inequality via concept surface "mathematical inequality"
• Brownian motion via concept surface "Markov process"
• Einstein field equations via concept surface "tensor equation"
• Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED via concept surface "theoretical physics result"
• Feynman–Kac formula via concept surface "theorem in probability theory"
• Brouwer fixed-point theorem via concept surface "topological theorem"
• inverse function theorem
• local existence and uniqueness theorem
• Maurice Janet
  surface form: Janet–Cartan theorem
• Glicksberg fixed-point theorem via concept surface "fixed-point theorem"
• multinomial theorem
• generalized binomial theorem
• Theorema Egregium
• Gauss–Markov theorem via concept surface "statistical theorem"
• Noether's theorem via concept surface "theorem"
• Noether normalization lemma
• Noether's isomorphism theorems via concept surface "family of theorems"
• Gauss’s lemma in number theory via concept surface "lemma in number theory"
  surface form: Gauss’s lemma (number theory)
• Gauss–Bonnet theorem (early form)
• CLT via concept surface "statistical theorem"
• Berry–Esseen theorem via concept surface "probability theorem"
• Kakutani fixed-point theorem
• implicit function theorem
• Janet–Cartan theorem
• Hilbert basis theorem
• Hilbert’s Nullstellensatz via concept surface "theorem in algebraic geometry"
• Israel–Carter–Robinson uniqueness theorems via concept surface "theorem in general relativity"
• Hilbert’s irreducibility theorem
• Hilbert’s syzygy theorem
• Faddeev’s axioms via concept surface "axiomatization of entropy"
• binomial theorem
• Riemann mapping theorem via concept surface "theorem in complex analysis"
• Riemann–Roch theorem via concept surface "theorem"
• Riemann–Lebesgue lemma
• Riemann–Hurwitz formula
• Ornstein–Uhlenbeck process via concept surface "Markov process"
• Riemann–Siegel formula via concept surface "result in analytic number theory"
• central limit theorem via concept surface "probability theorem"
• Whitney approximation theorem
• Wick’s theorem via concept surface "theorem in quantum field theory"
• Gell-Mann–Low theorem via concept surface "theorem in quantum field theory"
• Doob–Meyer decomposition via concept surface "theorem"
• martingale representation theorem via concept surface "theorem in stochastic calculus"
  surface form: Martingale representation theorem
• Itô’s lemma
• Cameron–Martin theorem
• Nash embedding theorem
• Abel–Ruffini theorem
• black hole no-hair theorem via concept surface "theorem in general relativity"
• Tarski's undefinability theorem