>正則性公理（基礎の公理）が意外なことに、無限集合の扱いと関係している
>即ち、正則性公理は ”∈-induction”と関係していて
>ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え、
>超限帰納法の適用を可能とする
　いまさらこんな自明なことドヤ顔でいう時点で数学童貞

いかなる集合も、そこから要素を取り出し、
さらにその要素たる集合から要素を取り出し、
・・・という行為を繰り返すと
有限回で空集合に行きつく
というのが∈-induction

要素が無限個だろうがなんだろうが変わらない
「意外なことに、無限集合の扱いと関係している」
とかいうのは童貞が●交についてトンチンカンな想像するのと同じ