Axiom schema of predicative separation

ID: axiom-schema-of-predicative-separation

New to topics? Read the docs here!