Universal quantification over ZFC models remains intact; the argument simply fails in some models (t...
This proposition has not been edited since the history system was added.