Universal quantification over all ZFC models is meaningless if semantic validity shifts between mode...
This proposition has not been edited since the history system was added.