つづき

5）まとめると 区間[0,1]の実数で 有限小数Uを使って R/Uを作って その代表が 区間[0,1]内に入るようにできる
　明らかに R/Uの区間[0,1]内の代表集合は、ヴィタリ集合Vを含んでいる
　ヴィタリ集合Vは、definableではない。つまり definableでない部分を含んでいる(上記)
6）(10)^N で 10→R に置き換えたものが 箱入り無数目の R^N である
　つまり R^N は (10)^Nを含み、
　部分集合(10)^NのUによる同値類(しっぽ同値)は、 definableでない 代表を構成する
　よって R^Nのしっぽ同値は、definableでない 代表を含む■

そもそもが、R^Nのしっぽ同値からできる 代表が、definableとはとても思えないが
直接証明するのは面倒なので、ヴィタリ集合Vが definableでないことに 帰着させた
なので、繰り返すが 箱入り無数目の代表の集合は、definableではない！！ｗ ；ｐ）
以上