Home›Topology›Statement Form›Existence TheoremConceptExistence TheoremLogic, Foundations and Set TheoryReference and ClassificationDevelopingAn existence theorem is a theorem which asserts the existence of a certain object. The cited article explains that it might be a statement which begins with the phrase there exist, or a universal statement whose last quantifier is existential, and that in the formal terms of symbolic logic it is a theorem with a prenex normal form involving the existential quantifier, even though in practice such theorems are usually stated in ordinary mathematical language. It also records a controversy that goes back to the early twentieth century about purely theoretical existence theorems, which show that an object exists without providing a way to construct it. Theorems whose statement takes this form are grouped under this concept.Existence TheoremConnectionsSourcesTake a Related QuizComments (0)Reader Challenges (0)Existence TheoremFilter Results11 entriesBranchAllAlgebraic Topology (3)Differential Topology (1)Functional Analysis (1)Topology (6)Topic AreaAllAlgebraic Topology (3)Fixed-Point Theorems (3)General Topology (2)Geometric and Differential Topology (2)ProvedAll1906 (1)1911 (1)1923 (1)1933 (1)1934 (1)1941 (1)1953 (1)1958 (1)Proved ByAllGeorg Cantor (1)Heinrich Tietze (1)Juliusz Schauder (1)Karol Borsuk (1)L. E. J. Brouwer (1)Pavel Urysohn (1)Samuel Eilenberg (1)Shizuo Kakutani (1)Stephen Smale (1)Named AfterAllGeorg Cantor (1)Show ResultsBrowseCompareSelect all 11Alexander's Theorem, Braid ClosureExistence TheoremBorsuk-Ulam TheoremExistence TheoremBrouwer Fixed-Point TheoremExistence TheoremCantor's Intersection TheoremExistence TheoremEilenberg-Zilber TheoremExistence TheoremKakutani Fixed-Point TheoremExistence TheoremLeray-Schauder Fixed-Point TheoremExistence TheoremSchoenflies TheoremExistence TheoremSmale's Theorem (Sphere Eversion)Existence TheoremTietze Extension TheoremExistence TheoremUniversal Coefficient TheoremExistence TheoremConnectionsIn BranchLogic and Foundations, Branches of Mathematics Well-attested Source Wolfram MathWorld: Existence TheoremStatement Form OfPompeiu's Theorem, Theorems Well-attested Poncelet's Closure Theorem, Theorems Well-attested Primitive Element Theorem, Theorems Well-attested Principal Axis Theorem, Theorems Well-attested Proth's Theorem, Theorems Well-attested Radon-Nikodym Theorem, Theorems Well-attested Radon's Theorem, Theorems Well-attested Ramsey's Theorem, Theorems Well-attested Riemann Mapping Theorem, Theorems Well-attested Riesz Representation Theorem, Theorems Well-attested Riesz-Fischer Theorem, Theorems Well-attested Rolle's Theorem, Theorems Well-attested Rouche-Capelli Theorem, Theorems Well-attested Runge's Theorem, Theorems Well-attested Saccheri-Legendre Theorem, Theorems Well-attested Schoenflies Theorem, Theorems Well-attested Schur's Theorem (Ramsey Theory), Theorems Well-attested Siegel's Theorem on Integral Points, Theorems Well-attested Sinkhorn's Theorem, Theorems Well-attested Six Circles Theorem, Theorems Well-attested Six Exponentials Theorem, Theorems Well-attested Skolem-Noether Theorem, Theorems Well-attested Skorokhod Representation Theorem, Theorems Well-attested Skorokhod's Embedding Theorem, Theorems Well-attested Smale's Theorem (Sphere Eversion), Theorems Well-attested S-m-n Theorem, Theorems Well-attested Solovay-Kitaev Theorem, Theorems Well-attested Sophie Germain's Theorem, Theorems Well-attested Spectral Theorem, Theorems Well-attested Sperner's Lemma, Theorems Well-attested Steinitz Exchange Lemma, Theorems Well-attested Stone-Weierstrass Theorem, Theorems Well-attested Sylow Theorems, Theorems Well-attested Sylvester-Gallai Theorem, Theorems Well-attested Szemeredi Regularity Lemma, Theorems Well-attested Szemeredi's Theorem, Theorems Well-attested Takagi Existence Theorem, Theorems Well-attested Theorem on Friends and Strangers, Theorems Well-attested Three-Gap Theorem, Theorems Well-attested Tietze Extension Theorem, Theorems Well-attested Titchmarsh Convolution Theorem, Theorems Well-attested Transfinite Recursion Theorem, Theorems Well-attested Tutte Homotopy Theorem, Theorems Well-attested Universal Coefficient Theorem, Theorems Well-attested Utility Representation Theorem, Theorems Well-attested Valiant-Vazirani Theorem, Theorems Well-attested Van der Waerden's Theorem, Theorems Well-attested Vinogradov's Theorem, Theorems Well-attested Vitali Covering Theorem, Theorems Well-attested Von Neumann-Morgenstern Utility Theorem, Theorems Well-attested Showing 151 to 200 of 211 in Statement Form Of, page 4 of 5.← Previous12345Next →SourcesExistence TheoremWikipedia, lead sectionQuote, Wikipedia, lead sectionIn mathematics, an existence theorem is a theorem which asserts the existence of a certain object.View the SourceWolfram MathWorld: Existence TheoremWolfram MathWorldIn Branch: Logic and Foundations, Subject classificationsQuote, In Branch: Logic and Foundations, Subject classificationsFoundations of Mathematics Theorem ProvingView the SourceTake a Related QuizOrigins of Mathematical ConceptsCovers this kind of entry.Comments (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.