axiom schema of abstraction

名词 n.

英文释义

名词 n.
  1. The axiom schema stating that for any clearly stated condition Sx, there exists a set B whose elements are exactly those objects which satisfy Sx.
    — 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 abstractions plural
0 次浏览 数据来源: Wiktionary