94
правки
Изменения
→Доказательство теоремы
Если <math>\Sigma_i = \Pi_i</math>, то <math>\Sigma_i = PH</math>.
=== Доказательство теоремы ===
Доказательство аналогично доказательству предыдущей теоремы. Мы снова будем удалять квантор из формулы и получим, что если можно удалить один квантор, то можно удалить их все.
