だからさ、それは別に解釈可能ということではないんじゃないの？

だとしたら実数などに関する集合論的な興味を持つ人にとっては
代替可能ということにはならないと思うんだけど。