Existenzaussage (Logik, Mathematik)

eine auch als Existenzialurteil bezeichnete Aussage, in der behauptet wird, dass es in einem bestimmten Bereich (der Grundmenge) mindestens einen Gegenstand gibt, auf den ein bestimmter Prädikator zutrifft, z. B.: »Es gibt einen Baum, der über 1 000 Jahre alt ist« und »Es gibt eine gerade Primzahl«. Zur formalen