Как использовать кванторы для описания положения точек в геометрии?

Возможно, имелись в виду кванторы — логические операции, которые ограничивают область истинности предиката и создают высказывание. reshator.com

Для описания положения точек в геометрии могут использоваться следующие виды кванторов:

• Квантор общности (обозначается ∀). nachert.ru Читается «для всякого», «для всех», «для любого». nachert.ru Например, выражение ∀(x)P(x) означает: «для всякого x имеет место свойство Р(х)». nachert.ru
• Квантор существования (обозначается ∃). nachert.ru Читается «существует». nachert.ru Выражение ∃(х)P(х) означает: «существует х, обладающее свойством Р(х)». nachert.ru
• Квантор единственности существования (обозначается ∃1). nachert.ru Читается «существует единственное». nachert.ru Выражение ∃1(x)(Рх) означает: «существует единственное (только одно) х, обладающее свойством Рх». nachert.ru

С помощью кванторов можно записывать различные геометрические утверждения. qudata.com Например, фраза «для любых точек x и y существует по крайней мере одна прямая α, которая через них проходит» имеет вид: ∀x∀y∃αL(x,y,α). qudata.com