明白の続き

Generic Filter 一週間格闘したんですが、できなくて。いろいろ考えてたら、寝る時に

　　どうも反例があるっぽい

ことに気がついた。なので、そのままでは証明できないらしい。

順々に集合を数え上げるんですが、そこで飛ばしているのがあって、そこですり抜けるのを止められないっぽい。

「選択公理と数学」の方だと、差分を使っているので、すり抜けたぶんは、そのままで良いらしい。

というわけで、最初の

　　やる気をだすところからやりなおし

らしいです。