Natural proofs barrier only blocks certain proof techniques, not all approaches. Independence would ...
This proposition has not been edited since the history system was added.