基本属性
- 拼音字母zi ji gong li
- 拼音首字母zjgl
- 注音符号ㄗ ㄐㄧ ㄍㄨㄥ ㄌㄧ
扩展释义
ᗄy∃zᗄx(x∈z↔x∈y∧P(x)),其中P(x)为ZF形式语言中的任一公式。这个公理说明:“给定任何集合y,有着一个集合z.使得给定任何集合x.有x是z的成员当且仅当x是y的成员并且P(x)对于x成立。”注意对于所有这种谓词P都有一个公理.所以这是个公理模式。
「子集公理」是汉语中常见词语。本文从读音、释义、出处等方面为您权威解读。拼音:zi jí gōng lǐ,注音:ㄗ˙ ㄐㄧˊ ㄍㄨㄥ ㄌㄧˇ。
ᗄy∃zᗄx(x∈z↔x∈y∧P(x)),其中P(x)为ZF形式语言中的任一公式。这个公理说明:“给定任何集合y,有着一个集合z.使得给定任何集合x.有x是z的成员当且仅当x是y的成员并且P(x)对于x成立。”注意对于所有这种谓词P都有一个公理.所以这是个公理模式。