If ZFC+φ+V=L is consistent, then by completeness theorem, some model exists satisfying all three com...
This proposition has not been edited since the history system was added.