Axiom schema of replacement articles