>>463
古典論理の下では如何なる実数も有理数か否かのいずれか
個々の実数に対して有理数か否かの判定手続きが存在しなければ
R/Qが存在しない、なんてことはない
古典論理の下では、R/Qは存在する
そしてZFCの下では、集合族R/Qの各要素たる集合から
それぞれ一つ元を選んだ集合が存在する
どちらも、ほっともっとが異議を申し立てる余地なんかない
あきらめて　寝ろ