Выдержка из книги
Столл Р.Р.
Множества Логистика Аксиоматические теории
Подобным же образом, предпослав S ( x) выражение существует х ( такое, что), получаем высказывание, имеющее тот же смысл, что и существуют второкурсники. Выражение существует х называется квантором существования.