Home›Theorems›Statement Form›Existence TheoremBrowse ByExistence TheoremStatement form sorts theorems by the shape of the claim they make, such as an equation, an inequality or an existence statement. Wikipedia states Fermat's Last Theorem as the claim "that there are no positive integers a, b, c, n with n greater than 2 such that a to the n plus b to the n equals c to the n," a negative existence claim rather than a formula to compute with. This dimension groups theorems that make the same kind of mathematical statement.Existence TheoremConnectionsSourcesComments (0)Reader Challenges (0)Existence TheoremFilter Results211 entriesBranchAllAlgebra (11)Algebraic Geometry (2)Algebraic Number Theory (2)Algebraic Topology (3)Analysis (20)Analytic Number Theory (2)Category Theory (1)Combinatorics (15)Commutative Algebra (3)Complex Analysis (6)Computability Theory (2)Computational Complexity Theory (3)Differential Equations (1)Differential Geometry (1)Differential Topology (1)Discrete Geometry (2)Dynamical Systems (1)Field Theory (1)Functional Analysis (3)Galois Theory (1)Game Theory (6)Geometry (18)Graph Theory (10)Group Theory (1)Harmonic Analysis (2)Lie Theory (1)Linear Algebra (5)Logic and Foundations (9)Mathematical Physics (9)Measure Theory (1)Model Theory (1)Number Theory (27)Optimization (1)Order Theory (1)Probability and Statistics (7)Proof Theory (1)Real Analysis (4)Representation Theory (4)Ring Theory (1)Set Theory (4)Topology (6)Topic AreaAllAdditive Number Theory (5)Algebraic Number Theory (2)Algebraic Topology (3)Analytic Number Theory (5)Approximation Theory (4)Category Theory (1)Class Field Theory (2)Classical Euclidean Geometry (6)Classical Mechanics and Dynamics (5)Combinatorial Number Theory (3)Complex Analysis (7)Computability and Complexity Theory (6)Congruences and Modular Arithmetic (1)Convex Analysis (1)Convex and Discrete Geometry (4)Decision Theory and Utility (3)Differential Equations (1)Differential Geometry (1)Diophantine Equations (8)Economic Theory (5)Electromagnetism, Optics and Continuum Mechanics (1)Enumerative, Additive and Algebraic Combinatorics (6)Equilibria, Bargaining and Cooperative Games (3)Field Theory and Galois Theory (3)Fixed-Point Theorems (3)Fourier and Harmonic Analysis (3)Functional Analysis (6)General Topology (2)Geometric and Differential Topology (2)Graph Theory (8)Group Theory (3)Lie Algebras and Representation Theory (4)Linear Algebra and Matrix Theory (5)Mathematical Logic and Model Theory (5)Mathematical Statistics and Estimation (1)Measure Theory and Integration (3)Polyhedra and Polytopes (1)Polynomials and Elementary Algebra (3)Prime Number Distribution (7)Probability Theory (4)Projective Geometry (1)Proof Theory and Methods of Proof (1)Quantum Mechanics and Quantum Field Theory (2)Ramsey Theory and Extremal Combinatorics (8)Real Analysis (12)Relativity and Gravitation (2)Ring Theory and Commutative Algebra (7)Set Theory (5)Statistical Mechanics and Thermodynamics (1)Stochastic Processes and Martingales (2)Triangle and Circle Geometry (8)ProvedAll300 BCE (1)1691 (1)1733 (1)1736 (1)1749 (1)1770 (1)1775 (1)1797 (1)1799 (1)1810 (1)1817 (2)1822 (1)1823 (1)1830 (2)1837 (1)1842 (1)1844 (1)1845 (1)1850 (1)1852 (1)1855 (1)1870 (1)1872 (1)1873 (1)1874 (1)1875 (1)1876 (2)1878 (1)1884 (1)1885 (2)1890 (4)1892 (2)1895 (1)1897 (1)1900 (2)1904 (1)1905 (1)1906 (1)1907 (2)1909 (2)1910 (1)1911 (4)1913 (2)1914 (1)1918 (2)1919 (1)1921 (2)1922 (1)1923 (1)1924 (1)1925 (1)1926 (3)1927 (3)1929 (4)1930 (2)1931 (1)1933 (2)1934 (2)1935 (2)1936 (2)1937 (3)1938 (1)1940 (2)1941 (1)1943 (1)1944 (3)1946 (1)1947 (1)1948 (1)1950 (3)1951 (2)1953 (2)1954 (2)1955 (1)1956 (2)1957 (1)1958 (2)1959 (1)1961 (4)1965 (2)1966 (2)1967 (1)1969 (1)1970 (1)1973 (2)1974 (1)1975 (6)1978 (1)1982 (1)1986 (2)1991 (1)1994 (1)1997 (4)2004 (1)Proved ByAllAbraham de Moivre (1)Adrien-Marie Legendre (1)Albert Muchnik (1)Aleksandr Lyapunov (1)Alfred Tarski (1)Andrey Kolmogorov (2)Augustin-Louis Cauchy (6)Bartel Leendert van der Waerden (1)Ben Green (1)Bernard Bolzano (2)Bernard Malgrange (1)Bernhard Riemann (1)Camille Jordan (1)Carl Friedrich Gauss (1)Carl Ludwig Siegel (1)Carl Runge (1)Carlo Severini (1)Constantin Carathéodory (2)David Hilbert (4)Donald A. Martin (1)Dénes Kőnig (1)Eduard Helly (1)Edward Charles Titchmarsh (1)Egon Pearson (1)Emanuel Lasker (1)Emanuel Sperner (1)Emmy Noether (4)Endre Szemerédi (4)Ernst Steinitz (2)Ernst Zermelo (2)Euclid (2)Eugenio Elia Levi (1)Francesco Paolo Cantelli (1)Frank P. Ramsey (1)Frigyes Riesz (2)Garrett Birkhoff (1)Gaston Darboux (1)Georg Cantor (2)Gerhard Gentzen (1)Giovanni Girolamo Saccheri (1)Giuseppe Vitali (1)Gotthold Eisenstein (1)Graham Higman (1)Gérard Debreu (1)Gösta Mittag-Leffler (1)Hans Hahn (1)Hassler Whitney (1)Heinrich Tietze (1)Henri Poincaré (1)Hermann Weyl (1)Issai Schur (1)Ivan Vinogradov (1)Jakob Steiner (1)Johann Radon (2)John Conway (1)John Milnor (1)John Nash (2)John von Neumann (1)Joseph Bertrand (2)Joseph Liouville (1)Joseph-Louis Lagrange (2)Julius Petersen (2)Juliusz Schauder (1)Karl Weierstrass (6)Karol Borsuk (1)Kazimierz Kuratowski (1)Klaus Wagner (1)Kurt Gödel (2)L. E. J. Brouwer (1)Lennart Carleson (1)Leonhard Euler (3)Leopold Kronecker (1)Lipót Fejér (1)Ludwig Sylow (1)László Lovász (1)Max Zorn (1)Pafnuty Chebyshev (1)Paul Erdos (5)Pavel Urysohn (1)Percy John Heawood (1)Peter Gustav Lejeune Dirichlet (2)Pierre-Simon Laplace (1)Reuben Goodstein (1)Robert M. Solovay (1)Robert P. Dilworth (1)Roger Lyndon (1)Roger Penrose (1)Ronald Fisher (1)Samuel Earnshaw (1)Samuel Eilenberg (1)Semyon Aranovich Gershgorin (1)Serge Lang (1)Shizuo Kakutani (1)Simon B. Kochen (1)Sophie Germain (1)Sophus Lie (2)Stanisław Świerczkowski (1)Stefan Banach (2)Stephen Cole Kleene (2)Stephen Smale (1)Teiji Takagi (1)Terence Tao (1)Tibor Gallai (1)Vera T. Sós (1)Viggo Brun (1)W. T. Tutte (2)Wilhelm Grunwald (1)William Lawvere (1)Wolfgang Krull (2)Yuri Linnik (1)Zsolt Baranyai (1)Édouard Goursat (1)Émile Picard (1)Étienne Bézout (1)Évariste Galois (1)Named AfterAllAdrien-Marie Legendre (1)Augustin-Louis Cauchy (1)David Hilbert (4)Emmy Noether (2)Ernst Zermelo (2)Euclid (2)Georg Cantor (1)Isaac Newton (1)Joseph-Louis Lagrange (1)Kurt Gödel (1)Leonhard Euler (1)Pierre de Fermat (1)Sophie Germain (1)Show ResultsBrowseCompareSelect all 211Alexander's Theorem, Braid ClosureExistence TheoremAx-Kochen TheoremExistence TheoremBaker-Gill-Solovay TheoremExistence TheoremBanach Fixed-Point TheoremExistence TheoremBanach-Tarski ParadoxExistence TheoremBaranyai's TheoremExistence TheoremBauer Maximum PrincipleExistence TheoremBertrand's PostulateExistence TheoremBertrand's Theorem (Classical Mechanics)Existence TheoremBezout's IdentityExistence TheoremBirkhoff-von Neumann TheoremExistence TheoremBloch's Theorem (Complex Analysis)Existence TheoremBlum's Speedup TheoremExistence TheoremBolzano-Weierstrass TheoremExistence TheoremBorel Determinacy TheoremExistence TheoremBorel-Cantelli LemmaExistence TheoremBorsuk-Ulam TheoremExistence TheoremBrouwer Fixed-Point TheoremExistence TheoremBrun's TheoremExistence TheoremBuchdahl's TheoremExistence TheoremBuckingham Pi TheoremExistence TheoremCantor's Intersection TheoremExistence TheoremCantor-Schroder-Bernstein TheoremExistence TheoremCaratheodory's Theorem (Convex Geometry)Existence TheoremCaratheodory's Theorem (Convex Hull)Existence TheoremCarleson's TheoremExistence TheoremCarmichael's TheoremExistence TheoremCauchy-Kovalevskaya TheoremExistence TheoremCauchy's Theorem (Group Theory)Existence TheoremCentral Limit TheoremExistence TheoremChasles' Theorem (Kinematics)Existence TheoremChen's TheoremExistence TheoremChvatal-Erdos TheoremExistence TheoremCommandino's TheoremExistence TheoremConway Circle TheoremExistence TheoremCorners TheoremExistence TheoremCousin's TheoremExistence TheoremCraig Interpolation TheoremExistence TheoremCrossbar TheoremExistence TheoremCut-Elimination Theorem (Gentzen's Hauptsatz)Existence TheoremDarboux's TheoremExistence TheoremDebreu's TheoremsExistence TheoremDenjoy-Wolff TheoremExistence TheoremDiagonal LemmaExistence TheoremDilworth's TheoremExistence TheoremDinitz TheoremExistence TheoremDirichlet's Approximation TheoremExistence TheoremDirichlet's Theorem on Arithmetic ProgressionsExistence TheoremEarnshaw's TheoremExistence TheoremEgorov's TheoremExistence TheoremEilenberg-Zilber TheoremExistence TheoremEisenstein's CriterionExistence TheoremElementary Symmetric PolynomialExistence TheoremErdos-Ginzburg-Ziv TheoremExistence TheoremErdos-Kac TheoremExistence TheoremErdos-Ko-Rado TheoremExistence TheoremErdos-Rado TheoremExistence TheoremEuclid's LemmaExistence TheoremEuclid's TheoremExistence TheoremEuler's Rotation TheoremExistence TheoremExtreme Value TheoremExistence TheoremFary's TheoremExistence TheoremFejer's TheoremExistence TheoremFermat's Theorem on Sums of Two SquaresExistence TheoremFinsler-Hadwiger TheoremExistence TheoremFisher's InequalityExistence TheoremFive Circles TheoremExistence TheoremFive Color TheoremExistence TheoremFrankova-Helly Selection TheoremExistence TheoremFriedberg-Muchnik TheoremExistence TheoremFriedlander-Iwaniec TheoremExistence TheoremFundamental Theorem of AlgebraExistence TheoremFundamental Theorem of Galois TheoryExistence TheoremGershgorin Circle TheoremExistence TheoremGodel's Completeness TheoremExistence TheoremGomory's TheoremExistence TheoremGoodstein's TheoremExistence TheoremGreen-Tao TheoremExistence TheoremGreenwald-Stiglitz TheoremExistence TheoremGrotzsch's TheoremExistence TheoremGrunwald-Wang TheoremExistence TheoremHahn-Banach TheoremExistence TheoremHajnal-Szemerédi TheoremExistence TheoremHales-Jewett TheoremExistence TheoremHandshaking LemmaExistence TheoremHarsanyi's Purification TheoremExistence TheoremHelly's Selection TheoremExistence TheoremHigman's Embedding TheoremExistence TheoremHilbert's Basis TheoremExistence TheoremHilbert's Irreducibility TheoremExistence TheoremHilbert's Syzygy TheoremExistence TheoremHilbert's Theorem 90Existence TheoremHjelmslev's TheoremExistence TheoremHurwitz's Theorem (Number Theory)Existence TheoremImplicit Function TheoremExistence TheoremInfinitude of PrimesExistence TheoremIntermediate Value TheoremExistence TheoremInverse Function TheoremExistence TheoremJapanese Theorem for Cyclic QuadrilateralsExistence TheoremJordan Normal Form TheoremExistence TheoremKakutani Fixed-Point TheoremExistence TheoremKleene's Recursion TheoremExistence TheoremKolmogorov Extension TheoremExistence TheoremKolmogorov-Arnold Representation TheoremExistence TheoremKonig's LemmaExistence TheoremKotzig's TheoremExistence TheoremKronecker's Approximation TheoremExistence TheoremKrull's TheoremExistence TheoremLadner's TheoremExistence TheoremLagrange's Four-Square TheoremExistence TheoremLasker-Noether TheoremExistence TheoremLawvere's Fixed-Point TheoremExistence TheoremLax-Milgram TheoremExistence TheoremLegendre's Three-Square TheoremExistence TheoremLeray-Schauder Fixed-Point TheoremExistence TheoremLester's TheoremExistence TheoremLevi Decomposition TheoremExistence TheoremLie-Kolchin TheoremExistence TheoremLie's TheoremExistence TheoremLindeberg-Feller TheoremExistence TheoremLinnik's TheoremExistence TheoremLiouville's Approximation TheoremExistence TheoremLovasz Local LemmaExistence TheoremMalgrange Preparation TheoremExistence TheoremMercer's TheoremExistence TheoremMergelyan's TheoremExistence TheoremMilliken's Tree TheoremExistence TheoremMittag-Leffler TheoremExistence TheoremMixture-Space TheoremExistence TheoremMutual Fund Separation TheoremExistence TheoremMycielski's TheoremExistence TheoremNakayama's LemmaExistence TheoremNash Embedding TheoremExistence TheoremNash EquilibriumExistence TheoremNash-Williams FormulaExistence TheoremNewton's Theorem (Quadrilateral)Existence TheoremNeyman-Pearson LemmaExistence TheoremNine-Point Circle TheoremExistence TheoremNoether Normalization LemmaExistence TheoremNoether's Second TheoremExistence TheoremNoether's TheoremExistence TheoremNo-Trade TheoremExistence TheoremOmitting Types TheoremExistence TheoremParallel Axis TheoremExistence TheoremPataraia's TheoremExistence TheoremPell's EquationExistence TheoremPenrose-Hawking Singularity TheoremsExistence TheoremPetersen-Morley TheoremExistence TheoremPetersen's TheoremExistence TheoremPoincare Recurrence TheoremExistence TheoremPompeiu's TheoremExistence TheoremPoncelet's Closure TheoremExistence TheoremPrimitive Element TheoremExistence TheoremPrincipal Axis TheoremExistence TheoremProth's TheoremExistence TheoremRadon-Nikodym TheoremExistence TheoremRadon's TheoremExistence TheoremRamsey's TheoremExistence TheoremRiemann Mapping TheoremExistence TheoremRiesz Representation TheoremExistence TheoremRiesz-Fischer TheoremExistence TheoremRolle's TheoremExistence TheoremRouche-Capelli TheoremExistence TheoremRunge's TheoremExistence TheoremSaccheri-Legendre TheoremExistence TheoremSchoenflies TheoremExistence TheoremSchur's Theorem (Ramsey Theory)Existence TheoremSiegel's Theorem on Integral PointsExistence TheoremSinkhorn's TheoremExistence TheoremSix Circles TheoremExistence TheoremSix Exponentials TheoremExistence TheoremSkolem-Noether TheoremExistence TheoremSkorokhod Representation TheoremExistence TheoremSkorokhod's Embedding TheoremExistence TheoremSmale's Theorem (Sphere Eversion)Existence TheoremS-m-n TheoremExistence TheoremSolovay-Kitaev TheoremExistence TheoremSophie Germain's TheoremExistence TheoremSpectral TheoremExistence TheoremSperner's LemmaExistence TheoremSteinitz Exchange LemmaExistence TheoremStone-Weierstrass TheoremExistence TheoremSylow TheoremsExistence TheoremSylvester-Gallai TheoremExistence TheoremSzemeredi Regularity LemmaExistence TheoremSzemeredi's TheoremExistence TheoremTakagi Existence TheoremExistence TheoremTheorem on Friends and StrangersExistence TheoremThree-Gap TheoremExistence TheoremTietze Extension TheoremExistence TheoremTitchmarsh Convolution TheoremExistence TheoremTransfinite Recursion TheoremExistence TheoremTutte Homotopy TheoremExistence TheoremUniversal Coefficient TheoremExistence TheoremUtility Representation TheoremExistence TheoremValiant-Vazirani TheoremExistence TheoremVan der Waerden's TheoremExistence TheoremVinogradov's TheoremExistence TheoremVitali Covering TheoremExistence TheoremVon Neumann-Morgenstern Utility TheoremExistence TheoremWeierstrass Approximation TheoremExistence TheoremWeierstrass Factorization TheoremExistence TheoremWeierstrass Preparation TheoremExistence TheoremWeller's TheoremExistence TheoremWeyl's Theorem on Complete ReducibilityExistence TheoremWhitney Extension TheoremExistence TheoremWigner-Eckart TheoremExistence TheoremZermelo's Theorem (Game Theory)Existence TheoremZermelo's Well-Ordering TheoremExistence TheoremZorn's LemmaExistence TheoremZsigmondy's TheoremExistence TheoremConnectionsShowing the first 400 of 908 connections.SourcesMacTutor History of Mathematics Archivetier 1University of St Andrews, School of Mathematics and StatisticsContains: Central Limit TheoremContains: Bayes' TheoremView the SourceWikipedia: Noether's Theoremtier 2Wikimedia FoundationContains: Noether's TheoremView the SourceWikipedia: Cayley's Theoremtier 2Wikimedia FoundationContains: Cayley's TheoremView the SourceComments (0)No comments yet. Be the first to share a thought.Sign in to join the discussion.Reader Challenges (0)No disputes yet. Spotted an error or a better source? Open the first one.Sign in to dispute this or suggest a correction.