Japanese 定義可能実数 Cited by user 131.213.129.118 on 07 Sep 2022 非公式には、定義可能実数とは説明によって一意的に定まる実数のことである. ここでいう説明とは構成方法のことや形式言語の式で表現されるものである. 例えば、2の平方根のうち正のもの、の唯一の正の解として定義でき、 コンパスと定規で作図可能でもある.
English Definable real number Cited by user Elwoz on 02 Jul 2021 Informally, a definable real number is a real number that can be uniquely specified by its description.