В процессе обсуждения первой части статьи выявилась необходимость дополнительно прояснить семантику кванторов.

Формулу

∀x P(x)

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

P(x₁) ∧ P(x₂) ∧ … ∧ P(x_n)