+-以外に符号があれば-×-が-になっても矛盾のない数体系作れるのかな