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 OfKakutani Fixed-Point Theorem, Theorems Well-attested Kleene's Recursion Theorem, Theorems Well-attested Kolmogorov Extension Theorem, Theorems Well-attested Kolmogorov-Arnold Representation Theorem, Theorems Well-attested Konig's Lemma, Theorems Well-attested Kotzig's Theorem, Theorems Well-attested Kronecker's Approximation Theorem, Theorems Well-attested Krull's Theorem, Theorems Well-attested Ladner's Theorem, Theorems Well-attested Lagrange's Four-Square Theorem, Theorems Well-attested Lasker-Noether Theorem, Theorems Well-attested Lawvere's Fixed-Point Theorem, Theorems Well-attested Lax-Milgram Theorem, Theorems Well-attested Legendre's Three-Square Theorem, Theorems Well-attested Leray-Schauder Fixed-Point Theorem, Theorems Well-attested Lester's Theorem, Theorems Well-attested Levi Decomposition Theorem, Theorems Well-attested Lie-Kolchin Theorem, Theorems Well-attested Lie's Theorem, Theorems Well-attested Lindeberg-Feller Theorem, Theorems Well-attested Linnik's Theorem, Theorems Well-attested Liouville's Approximation Theorem, Theorems Well-attested Lovasz Local Lemma, Theorems Well-attested Malgrange Preparation Theorem, Theorems Well-attested Mercer's Theorem, Theorems Well-attested Mergelyan's Theorem, Theorems Well-attested Milliken's Tree Theorem, Theorems Well-attested Mittag-Leffler Theorem, Theorems Well-attested Mixture-Space Theorem, Theorems Well-attested Mutual Fund Separation Theorem, Theorems Well-attested Mycielski's Theorem, Theorems Well-attested Nakayama's Lemma, Theorems Well-attested Nash Embedding Theorem, Theorems Well-attested Nash Equilibrium, Theorems Well-attested Nash-Williams Formula, Theorems Well-attested Newton's Theorem (Quadrilateral), Theorems Well-attested Neyman-Pearson Lemma, Theorems Well-attested Nine-Point Circle Theorem, Theorems Well-attested Noether Normalization Lemma, Theorems Well-attested Noether's Second Theorem, Theorems Well-attested Noether's Theorem, Theorems Well-attested No-Trade Theorem, Theorems Well-attested Omitting Types Theorem, Theorems Well-attested Parallel Axis Theorem, Theorems Well-attested Pataraia's Theorem, Theorems Well-attested Pell's Equation, Theorems Well-attested Penrose-Hawking Singularity Theorems, Theorems Well-attested Petersen-Morley Theorem, Theorems Well-attested Petersen's Theorem, Theorems Well-attested Poincare Recurrence Theorem, Theorems Well-attested Showing 101 to 150 of 211 in Statement Form Of, page 3 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.