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 OfAlexander's Theorem, Braid Closure, Theorems Well-attested Ax-Kochen Theorem, Theorems Well-attested Baker-Gill-Solovay Theorem, Theorems Well-attested Banach Fixed-Point Theorem, Theorems Well-attested Banach-Tarski Paradox, Theorems Well-attested Baranyai's Theorem, Theorems Well-attested Bauer Maximum Principle, Theorems Well-attested Bertrand's Postulate, Theorems Well-attested Bertrand's Theorem (Classical Mechanics), Theorems Well-attested Bézout's Identity, Theorems Well-attested Birkhoff-von Neumann Theorem, Theorems Well-attested Bloch's Theorem (Complex Analysis), Theorems Well-attested Blum's Speedup Theorem, Theorems Well-attested Bolzano-Weierstrass Theorem, Theorems Well-attested Borel Determinacy Theorem, Theorems Well-attested Borel-Cantelli Lemma, Theorems Well-attested Borsuk-Ulam Theorem, Theorems Well-attested Brouwer Fixed-Point Theorem, Theorems Well-attested Brun's Theorem, Theorems Well-attested Buchdahl's Theorem, Theorems Well-attested Buckingham Pi Theorem, Theorems Well-attested Cantor's Intersection Theorem, Theorems Well-attested Cantor-Schroder-Bernstein Theorem, Theorems Well-attested Caratheodory's Theorem (Convex Geometry), Theorems Well-attested Carathéodory's Theorem (Convex Hull), Theorems Well-attested Carleson's Theorem, Theorems Well-attested Carmichael's Theorem, Theorems Well-attested Cauchy-Kovalevskaya Theorem, Theorems Well-attested Cauchy's Theorem (Group Theory), Theorems Well-attested Central Limit Theorem, Theorems Well-attested Chasles' Theorem (Kinematics), Theorems Well-attested Chen's Theorem, Theorems Well-attested Chvatal-Erdos Theorem, Theorems Well-attested Commandino's Theorem, Theorems Well-attested Conway Circle Theorem, Theorems Well-attested Corners Theorem, Theorems Well-attested Cousin's Theorem, Theorems Well-attested Craig Interpolation Theorem, Theorems Well-attested Crossbar Theorem, Theorems Well-attested Cut-Elimination Theorem (Gentzen's Hauptsatz), Theorems Well-attested Darboux's Theorem, Theorems Well-attested Debreu's Theorems, Theorems Well-attested Denjoy-Wolff Theorem, Theorems Well-attested Diagonal Lemma, Theorems Well-attested Dilworth's Theorem, Theorems Well-attested Dinitz Theorem, Theorems Well-attested Dirichlet's Approximation Theorem, Theorems Well-attested Dirichlet's Theorem on Arithmetic Progressions, Theorems Well-attested Earnshaw's Theorem, Theorems Well-attested Egorov's Theorem, Theorems Well-attested Showing 1 to 50 of 211 in Statement Form Of, page 1 of 5.123…5Next →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.