Unrestricted comprehension
Redirect to:
Axiom schema of specification#Unrestricted comprehension