Геометрическая интерпретация навешивания кванторов.

Пронесение отрицания через кванторы

Геометрическое ‘доказательство’:

 не обладает свойством, что прямая  целиком лежит в

 ч.т.д.