Forcing extensions are conservative over ZFC: any sentence provable in an extension is already synta...
This proposition has not been edited since the history system was added.