Jisho

×
順序数定義可能集合
Links
Wikipedia definition
1. Ordinal definable set​In mathematical set theory, a set S is said to be ordinal definable if, informally, it can be defined in terms of a finite number of ordinals by a first order formula. Ordinal definable sets were introduced by Gödel (1965). A drawback to this informal definition is that requires quantification over all first order formulas, which cannot be formalized in the language of set theory. However there is a different way of stating the definition which can be so formalized.
Read “Ordinal definable set” on English Wikipedia
Read “順序数定義可能集合” on Japanese Wikipedia
Read “Ordinal definable set” on DBpedia

Discussions

to talk about this word.