>>338
正則性の公理からすべての集合は無限降下列を持たない
したがって上の列を使ってどんな集合を作ろうが無限降下列を持たない