a"="c"且"b"="d"。"仅当：""当："逆对：("a,b") = = = ("b,a")。
Quine-Rosser定义.Rosser（1953年）扩展了蒯因的有序对定义。Quine-Rosser的定义要求自然数的先决定义。设formula_7是自然数的集合，formula_8是formula_7在formula_10内的相对差集，并定义：φ("x")包含在"x"中所有自然数的后继，和"x"中的所有非数成员。特别是，φ("x")不包含数0，所以对于任何集合"