いくらなんでも数学板に集合論全般を扱うスレがないのはおかしいだろ