対の公理ついのこうり<つい>　の　こう'り

Math.Paarmengenaxiom