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:
“I am writing for myself and strangers. This is the only
way that I can do it. Everybody is a real one to me,
everybody is like some one else too to me. No one of
them that I know can want to know it and so I write
for myself and strangers.”
—Gertrude Stein (1874–1946)
“... is it not clear that to give to such women as desire it and can devote themselves to literary and scientific pursuits all the advantages enjoyed by men of the same class will lessen essentially the number of thoughtless, idle, vain and frivolous women and thus secure the [sic] society the services of those who now hang as dead weight?”
—Sarah M. Grimke (1792–1873)