定義可能実数
実数 a {\displaystyle a} がパラメータなしで一階の集合論の言語で定義可能であるとは、 集合論の言語の式で自由変数を一つ持つもの φ {\displaystyle \varphi } があって、 a {\displaystyle a} が φ ( a ) {\displaystyle \varphi (a)} を満たす唯一の実数であること。 この概念自体は集合論の言語の式としては表すことができない。
全ての解析的数、特に計算可能数は集合論の言語で定義可能である。 ゆえに良く知られている実数、すなわち0, 1, π {\displaystyle \pi } , e {\displaystyle e} , 代数的数などは全て集合論で定義可能な実数である。