I am studying set theory right now, and my intuition is that the Axiom of Replacement is used to generate all sorts of sets starting from the Inductive set (from the Axiom of Infinity). We use the ...