>>168
誤解のないようにいうと、無限入れ子の導入自体は別に理論に矛盾をもたらすものではない(ZFC-AFA等)
疑問なのは、そもそもそういうものをどういう風に使うつもりかという点