환환의 공리적 정의와 기준