Existential quantifier, there is at least one |
Квантор существования, как минимум один |
The existential theory of the reals is the subset of the first-order theory consisting of sentences in which all the quantifiers are existential and they appear before any of the other symbols. |
Экзистенциальная теория вещественных чисел является подмножеством теории первого порядка и состоит из утверждений, в которых каждый квантор является квантором существования и все они появляются до любого другого символа. |
The coming year will be decisive in putting us on the path to addressing the existential climate change challenge. |
Этот предстоящий год будет решающим с точки зрения нашей готовности заняться решением таящего в себе угрозу для дальнейшего существования человечества вызова, связанного с изменением климата. |
What is now an existential crisis for small island developing States will, in the face of inaction, become an existential crisis for all. |
То, что сейчас представляет угрозу для существования малых островных развивающихся государств, при отсутствии надлежащих действий превратится в угрозу для всех. |