>>844
どうもです
一つのご意見として、承った
が、群、体、環などが、無限集合として扱われるのは、紛れもない事実

この集合論は、ZFCではなく、ガウスやアーベルやガロアやデデキントが扱った素朴集合論としてね
（無限公理？　そんなの要らないよね）
上記で行われる演算には回数制限はないし、集合も、N、Z、Q、R、C 全部無限集合だし、イデアルも無限集合でしょ？ 無限公理なしでね