Without reducibility, Russell's system cannot prove that all well-formed sentences have truth-values...
This proposition has not been edited since the history system was added.