axiom schema of separation

名词 n.

英文释义

名词 n.
  1. The axiom schema stating that for every set A and every condition Sx, there exists a set B whose elements are exactly those members of A for which Sx holds.
    — Whenever a propositional function Sx is definite for all elements of a set M, M possesses a subset whose elements are exactly those x in M for which Sx holds.

词形变化

axiom schema of separations plural
0 次浏览 数据来源: Wiktionary