Lower Dimension ∃ a ∃ b ∃ c . {\displaystyle \exists a\,\exists b\,\exists c\,.} There exist three noncollinear points.
Нижняя оценка размерности ∃ a ∃ b ∃ c . {\displaystyle \exists a\,\exists b\,\exists c\,.} То есть существуют три неколлинеарные точки.