3. Запишите в кванторах аксиому прямой линии и начертите соответствующий рисунок.

Аксиома прямой линии: через любые две различные точки проходит единственная прямая.

В кванторах:

\(\forall A\,\forall B\,(A\ne B\Rightarrow\exists!\,a:\ A\in a\ \text{ и }\ B\in a)\).