公理化可能
axiomatizable