Şunu aradınız:: existentiestelling (Hollandaca - İngilizce)

de stelling van vitali is een existentiestelling dat er zulke verzamelingen bestaan onder aanname van het keuzeaxioma.
there are uncountably many vitali sets, and their existence is proven on the assumption of the axiom of choice.

in de meer formele symbolische logica, is een existentiestelling een stelling waar de existentiële kwantor bij is betrokken.
that is, in more formal terms of symbolic logic, it is a theorem with a prenex normal form involving the existential quantifier.

een typische toepassing wordt gegeven door de stelling van arzelà-ascoli en in het bijzonder de existentiestelling van peano, waarin men in staat is om het bestaan van een functie met enige vereiste eigenschappen te concluderen als een limietgeval van enige meer algemene constructie.
compactness in this more general situation plays an extremely important role in mathematical analysis, because many classical and important theorems of 19th century analysis, such as the extreme value theorem, are easily generalized to this situation.

een controverse die teruggaat tot het begin van de twintigste eeuw betreft de kwestie van de pure existentiestellingen.
a controversy that goes back to the early twentieth century concerns the issue of pure existence theorems.