请解释一下「子集公理」这个词的含义。

助手
子集公理 zi jí gōng lǐ · ㄗ˙ ㄐㄧˊ ㄍㄨㄥ ㄌㄧˇ
zi ji gong li
zjgl
ㄗ ㄐㄧ ㄍㄨㄥ ㄌㄧ
2026-07-16 01:15:37

扩展释义

ᗄy∃zᗄx(x∈z↔x∈y∧P(x)),其中P(x)为ZF形式语言中的任一公式。这个公理说明:“给定任何集合y,有着一个集合z.使得给定任何集合x.有x是z的成员当且仅当x是y的成员并且P(x)对于x成立。”注意对于所有这种谓词P都有一个公理.所以这是个公理模式。