Non-relativizing diagonalization arguments (like natural proofs or algebrization) remain unexplored ...
This proposition has not been edited since the history system was added.