Existenzaussage

экзистенциальное суждение

Eine Aussage in der Logik, die behauptet, dass mindestens ein Objekt einer bestimmten Eigenschaft oder Menge angehört.

Логическое утверждение, постулирующее существование хотя бы одного объекта.

терминологическое

In der Prädikatenlogik ist die Existenzaussage durch das Existenzquantor gekennzeichnet.

— В логике предикатов экзистенциальное суждение обозначается квантором существования.
Diese Existenzaussage lässt sich mathematisch formal beweisen.

— Это экзистенциальное суждение можно математически доказать формально.

Синонимы

Existenzbehauptung·Existenzbeleg

утверждение о существовании

Die Bestätigung oder Behauptung, dass etwas oder jemand existiert.

Заявление о том, что некий объект существует.

нейтральное

Seine Existenzaussage über das Unbekannte blieb ohne Beweise.

— Его утверждение о существовании неизвестного осталось без доказательств.
Die wissenschaftliche Existenzaussage muss durch Experimente gestützt werden.

— Научное утверждение о существовании должно быть подкреплено экспериментами.