なるほど、今んとこ切断を実行して帰って来た未定義の数を受理するオラクルをくっつけるしかないという所までは考えていましたがやはりそれしか手がない感じですね

自然数だけの系
と
自然数+(かなり強力な)オラクルの系

なら構造が全然違うので濃度が異なりそうなのは分かります
しかし実数なんてあって当然に思えるのにこうも単純じゃないとは…