The claim conflates 'valid in all ZFC models' with 'valid in all models of extended theory', reveali...
This proposition has not been edited since the history system was added.