Definable Real Number
A real number a is first-order definable in the language of set theory, without parameters, if there is a formula φ in the language of set theory, with one free variable, such that a is the unique real number such that φ(a) holds in the standard model of set theory (see Kunen 1980:153).
For the purposes of this article, such reals will be called simply definable numbers. This should not be understood to be standard terminology.
Note that this definition cannot be expressed in the language of set theory itself.
Read more about Definable Real Number: General Facts, Notion Does Not Exhaust "unambiguously Described" Numbers, Other Notions of Definability
Famous quotes containing the words real and/or number:
“The two real political parties in America are the Winners and the Losers. The people don’t acknowledge this. They claim membership in two imaginary parties, the Republicans and the Democrats, instead.”
—Kurt Vonnegut, Jr. (b. 1922)
“Mining today is an affair of mathematics, of finance, of the latest in engineering skill. Cautious men behind polished desks in San Francisco figure out in advance the amount of metal to a cubic yard, the number of yards washed a day, the cost of each operation. They have no need of grubstakes.”
—Merle Colby, U.S. public relief program (1935-1943)