Natural proofs and other metamathematical barriers are separate obstacles; relativization alone does...
This proposition has not been edited since the history system was added.