Later developments (type theory, set theory axioms) solved the paradox without demonstrating Basic L...
This proposition has not been edited since the history system was added.