構成的数学での実数の構成について