Created Axiom Scheme of restricted comprehension