Relativization shows that many proof techniques (diagonalization, algebraic methods) provably fail t...
This proposition has not been edited since the history system was added.