V=L is a contentious principle rejected by many set theorists; proof-theoretic compatibility doesn't...
This proposition has not been edited since the history system was added.