Non-relativizing proofs would require new mathematical insights not yet developed. Dismissing relati...
This proposition has not been edited since the history system was added.