0除算可能で無矛盾な演算の集合って定義できるんかな