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:
“A preschool child does not emerge from your toddler on a given date or birthday. He becomes a child when he ceases to be a wayward, confusing, unpredictable and often balky person-in-the- making, and becomes a comparatively cooperative, eager-and-easy-to-please real human being—at least 60 per cent of the time.”
—Penelope Leach (20th century)
“Strange goings on! Jones did it slowly, deliberately, in the bathroom, with a knife, at midnight. What he did was butter a piece of toast. We are too familiar with the language of action to notice at first an anomaly: the ‘it’ of ‘Jones did it slowly, deliberately,...’ seems to refer to some entity, presumably an action, that is then characterized in a number of ways.”
—Donald Davidson (b. 1917)