>>574
>空間Rの開集合かつ閉集合はRとφしかない。
あ〜、距離空間Rではなく、ハメル基底B'か。
B'において、B'の境界は空集合Φだな。

だけどさ、>>571の操作を無限回するという証明法はありか？
数理論理で考えた場合、記号論理も含めた記号の扱いは、
有限回の操作で終わるのではないか？