2014-05-17から1日間の記事一覧
乗法逆元の存在の公理におけるx=0の違和感?をなくした公理系を考えました.そのココロは (x=0|x*y=1)->(x*(x*y)=x)はOK,整域なら逆もOK です.Axioms: (all x all y all z (x + y) + z = x + (y + z)). (all x all y x + y = y + x). (all x x + 0 = x). (…
乗法逆元の存在の公理におけるx=0の違和感?をなくした公理系を考えました.そのココロは (x=0|x*y=1)->(x*(x*y)=x)はOK,整域なら逆もOK です.Axioms: (all x all y all z (x + y) + z = x + (y + z)). (all x all y x + y = y + x). (all x x + 0 = x). (…