環の公理的定義と基準