0169132人目の素数さん垢版 | 大砲2024/04/25(木) 14:56:55.45ID:lX/x7GbN >>168 誤解のないようにいうと、無限入れ子の導入自体は別に理論に矛盾をもたらすものではない(ZFC-AFA等) 疑問なのは、そもそもそういうものをどういう風に使うつもりかという点