Axiom of separation

1. REDIRECT Axiom_schema_of_specification

{{rcatsh|

{{r alt}}

{{r hatnote}}

}}