Существования Квантор
Логическая операция, служащая для образования высказываний с помощью оборота лдля некоторых х
Источник:
Математическая энциклопедия
на Gufo.me
Логическая операция, служащая для образования высказываний с помощью оборота лдля некоторых х