>>913
>勝手に拡張されると困るんだよね
それこそが間違いの本質。
自然数とか整数とかは環論と切り離して考えることはできない。
例えば素数は１を除外、素元は１を除外しない、とかできない。整合している必要がある。