Grothendieck universe

名词 n.
中文释义

英文释义

名词 n.
  1. A kind of universal set whose elements follow the rules of Zermelo–Fraenkel set theory, and for which, with respect to an arbitrary set, an instance of its kind which has that set as a member may be posited to exist through an additional Tarski–Grothendieck axiom (which is not part of ZF but augments it, yielding Tarski–Grothendieck set theory).

词形变化

Grothendieck universes plural

词源

Named after Alexander Grothendieck (1928–2014), a German-born French mathematician.
1 次浏览 数据来源: Wiktionary