ねえking、0で割れる公理系みたいなもの、つくれないかなあ?