実在論的アプローチや、分出公理の意味などを考えるとき、
集合は、アクセス可能なものでしか構成できないのだろうと思った。
アクセス可能性。
Ｎ次元もしくは無次元において線でつなげられるかどうか。無矛盾性の再定義。