Unrestricted comprehension

Redirect to:

• Axiom schema of specification#Unrestricted comprehension