Z lacks the Axiom of Replacement, which is essential for constructing hierarchies beyond V_ω, affect...
This proposition has not been edited since the history system was added.