対の公理の知名度

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