在线词典
在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。
输入要查询的单词：
axiom schema of specification
查词链接：
https://www.dute.org/dict/Axiom_schema_of_specification复制链接 分类公理（分类公理模式是 ZFC 集合论中的一个公理模式，它允许我们从一个集合中筛选出满足某个条件的元素，得到一个子集。这个子集是唯一的，通常用 {x∈A : P(x)} 表示。这个公理模式在其他集合论系统中可能有不同的限制或替代）
查看英英释义
abstract:
In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom schema of specification, axiom schema of separation, subset axiom scheme or axiom schema of restricted comprehension is a schema of axioms in Zermelo–Fraenkel set theory. Essentially, it says that any definable subclass of a set is a set.
网络释义
分离公理
... axiom schema of separation：分离公理； axiom schema of specification：分离公理； axiomatic set theory：公理集合论； ...
常用短语
正在查询...
{error}
你是不是想查找：
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接：
{link}复制链接{phones}
{text}：[{value}]{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词： {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}