出典:Wikipedia
出典:『Wikipedia』 (2011/02/14 20:01 UTC 版)
In mathematics, specifically set theory, an ordinal α is said to be recursive if there is a recursive binary relation R that well-orders a subset of the natural numbers and the order type of that ordering is α.