配对公理
在公理化集合论和使用它的逻辑、数学和计算机科学分支中,配对公理是 Zermelo-Fraenkel 集合论的公理之一。
在 Zermelo-Frankel 公理的形式语言中,这个公理读做:
换句话说:
- 给定任何集合 x 和任何集合 y,有着一个集合 A 使得,给定任何集合 z,z 是 A 的成员,当且仅当 z 等于 x 或者 z 等于 y。
单词 | Axiom of pairing |
释义 |
Axiom of pairing
中文百科
配对公理在公理化集合论和使用它的逻辑、数学和计算机科学分支中,配对公理是 Zermelo-Fraenkel 集合论的公理之一。 在 Zermelo-Frankel 公理的形式语言中,这个公理读做: 换句话说:
英语百科
Axiom of pairing 配对公理In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of pairing is one of the axioms of Zermelo–Fraenkel set theory. |
随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。