>>551

俺の理解では、
形式的冪級数環は多項式環の極限。
(超限という名の極限)
自然数Nが有限集合の極限(超限)であるから。

よって、形式的冪級数環は可能無限。

有限 --> 超限順序数ω(=自然数の集合) --> さらなる超限順序数 ・・・

この矢印-->が、極限操作(sup)によって得られるため、全てが可能無限ｗｗ