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 apparent rulers of the English nation are like the imposing personages of a splendid procession: it is by them the mob are influenced; it is they whom the spectators cheer. The real rulers are secreted in second-rate carriages; no one cares for them or asks after them, but they are obeyed implicitly and unconsciously by reason of the splendour of those who eclipsed and preceded them.”
—Walter Bagehot (1826–1877)
“I believe if we introduced the Lord’s Prayer here, senators would propose a large number of amendments to it.”
—Henry Wilson (1812–1875)