axiom_schema_of_replacement