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:
“Essay writing is perhaps ... the easiest for the author and requires little more than what is called a fluency of words and a vivacity of expression to avoid dullness; but without ... a real foundation of matter ... an essay writer is very apt, like Dogberry in Shakespeare’s Much Ado About Nothing, to think that if he had the tediousness of a king, he would bestow it all upon his readers.”
—Sarah Fielding (1710–1768)
“In the U.S. for instance, the value of a homemaker’s productive work has been imputed mostly when she was maimed or killed and insurance companies and/or the courts had to calculate the amount to pay her family in damages. Even at that, the rates were mostly pink collar and the big number was attributed to the husband’s pain and suffering.”
—Gloria Steinem (20th century)