Different models of ZFC exist (V, L, inner models), showing that set-theoretic background assumption...
This proposition has not been edited since the history system was added.