拡張チューリングマシンが判定する言語に対して文字列を辞書順に並べ
言語に含まれるなら１含まれないなら０という風に数値を並べ実数を構成する。
ある実数aをオラクル・ストリングにもつ拡張チューリングマシンから生成できる実数の集合をL(a)とする。

Not(a∈L(b)) And Not(b∈(L(a))を満たすような実数の組(a,b)は存在するか？