>>699
集合は万能すぎるので少し弱めて関数は自由に使えるようにすると、
f : Q → bool
な関数でもってQの部分集合を構成するみたいなのができる
この場合はfが切断になってるかは計算機では判定できなくて困ることになる。神託のある計算機でfが切断だとわかったら、fは1つの実数として扱ってもよいのだが、他の実数と比較するにもまた神託が必要になる感じ
ほかにはQの数列を関数にしてみたり、10進展開を数列にしてみたり、色々方法はあるけど、神託が不要な範囲を調べていくと、比較ができないとか、連続関数がおかしいとかの変な数学ができあがる