Изменения
Нет описания правки
==Следствия==
{{ Утверждение
| statement = Методом диагонализации нельзя доказать, что <tex>\mathrm{P} \neq \mathrm{NP}</tex>
}}
{{ Утверждение
| statement = Никакой метод, который использует операции релятивизации, не может сказать равны ли <tex>\mathrm{P}</tex> и <tex>\mathrm{NP}</tex>.
}}
