Изменения

| statement = Никакой метод, который использует операции релятивизации, не может сказать равны ли Если существует решение вопроса равенства <tex>\mathrm{P}</tex> и <tex>\mathrm{NP}</tex>, то оно не должно "релятивизоваться", поэтому стандартные техники, например, диагонализация не применима.