>>723
>「いわゆる整数の全体」というのは、正しくは
>「どの「整数の全体」のモデルにも存在する、標準的整数の全体」
>のことです。つまり整数であることが証明できる元のこと
群論の場合「いわゆる群の元の全体」ってのは「単位元」のことだったりして
群に含まれていることが証明できる唯一のものですしね