axiom_schema_of_separation