対の公理

対の公理(ついのこうり、axiom of pairing)は、ZF公理系を構成する公理の一つで、任意の二つの元に対し、それら二つのみを要素とする集合（対、pair）が存在することを主張するものである。