Constructibility (L) is provably sensitive to set-theoretic assumptions; different models of ZFC con...
This proposition has not been edited since the history system was added.