= Axiom schema of predicative separation {wiki=Axiom_schema_of_predicative_separation}
Back to article page