Axiom:Unlimited Abstraction Principle