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