23. Запишите с помощью кванторов следующее утверждение: «Если точки A, B и C не лежат на одной прямой, то существует лишь одна окружность, которая проходит через эти три точки». Как вы думаете, верно ли такое утверждение?

\(\forall A,B,C\;((A,B,C\text{ не лежат на одной прямой}) \Rightarrow \exists!\,\omega\;(A \in \omega \land B \in \omega \land C \in \omega))\).

Это утверждение верно: через три точки, не лежащие на одной прямой, проходит единственная окружность.

Ответ: утверждение верно.