>>331
そんなの知らんよ。
普通の意味での零元0と単位元1を定義して、普通の意味での等号=を用いると
非自明な体では
　　0≠1　(0=1の否定)
である必要が生じるということ。
エッセンスの部分を汲み取ってよ。

それぞれの細かい話は専門書読むか
http://science6.2ch.net/test/read.cgi/math/1206334820
ここのスレに行けばいい。

まぁ試しにちょっと1≠2の証明をやってみただけだから。本題ではない。
そんなことより1=2の証明しようぜ！