そんなのZFCG,ZFC,IUTあたりでググったら出るじゃん
むしろ

＞俺が見たのはIUT理論だと∈の無限降下列を完全に認めてるという意見

これって否定派スレでコテハンがぐだぐだやってるだけの議論だろ
IUTとなにも関係がない