どっちにしろ有限個の公理じゃ
構造が一意に決まらんしな