It is not the case that Forcing extensions are conservative over ZFC: any sentence provable in an extension is already syntactically derivable from ZFC plus extension axioms.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.