>>692
それはないとダメかもしれないけどわかりません。

というかこういう構成的数学は誰がやったのか？または限界とかを知りたい。基礎論の人おしえて。

ちょっとググってもわからなかった。computable real numberには対角線論法は使えないってどこかに書いてあったけれど。