∃a(a={a})が他の公理と整合性持つものかな