ZFC's axioms like Replacement and Foundation presuppose a prior grasp of 'set' that transcends first...
This proposition has not been edited since the history system was added.