主题
Search

无序对公理


策梅洛-弗兰克尔集合论 的公理断言,对于任何集合 ab,存在一个集合 x,其仅有的元素为 abx 被称为 ab 的无序对,表示为 {a,b}。该公理可以用符号表示为

  exists x forall y(y in x=y=a v y=b).

另请参阅

策梅洛-弗兰克尔集合论

使用 Wolfram|Alpha 探索

参考文献

Itô, K. (编). "策梅洛-弗兰克尔集合论。" §33B in 数学百科全书,第二版,卷 1。 Cambridge, MA: MIT Press, pp. 146-148, 1986.

在 Wolfram|Alpha 中被引用

无序对公理

请这样引用

Eric W. Weisstein. "无序对公理。" 来自 MathWorld--一个 Wolfram Web 资源。 https://mathworld.net.cn/AxiomoftheUnorderedPair.html

主题分类