Axiom of separation
In the axiomatic Set theory of Zermelo-Fraenkel, the Schéma of axioms of comprehension is sometimes called axiom of separation, by literal translation of German. It is also in the theory NBG an axiom for the Classes.
| Random links: | Agreements of Locarno | Canton of Quesnoy-sur-Deûle | Fessevillers | Groffliers | Gravenhurst (Ontario) | George_proche |