Scott's trick

短语

释义与例句

name
  1. 1.

    A method for giving a definition of equivalence classes for equivalence relations on a proper class, relying on the axiom of regularity but not on the axiom of choice.

    数学

词源

Introduced by Dana Scott in 1955.

来源：wiktionary