>>134
この公理を満たす集合のうち、任意の元a,bにおいてa+b=bになる場合がある集合と、必ずa+b≠bになる集合があるのはおかしくないですかね。
同じように、1のすぐ前に0がある集合と1のすぐ前に何も無い集合があるのはおかしくないですかね？

てか、分数も負数も無いのに単位元関係ないｗ