Definitions from Wikipedia (Axiom schema of predicative separation)

▸ noun:  In axiomatic set theory, the axiom schema of predicative separation, or of restricted, or Δ0 separation, is a schema of axioms which is a restriction of the usual axiom schema of separation in Zermelo–Fraenkel set theory.


▸ Words similar to axiom schema of predicative separation
▸ Usage examples for axiom schema of predicative separation

▸ Idioms related to axiom schema of predicative separation
▸ Wikipedia articles (New!)
▸ Words that often appear near axiom schema of predicative separation
▸ Rhymes of axiom schema of predicative separation

▸ Invented words related to axiom schema of predicative separation