子集公理的网络释义
ᗄy∃zᗄx(x∈z↔x∈y∧P(x)),其中P(x)为ZF形式语言中的任一公式。这个公理说明:“给定任何集合y,有着一个集合z.使得给定任何集合x.有x是z的成员当且仅当x是y的成员并且P(x)对于x成立。”注意对于所有这种谓词P都有一个公理.所以这是个公理模式。
繁体字转换器为您提供子集公理繁体,子集公理的老写,子集公理的繁体,子集公理的繁体字如何写,子集公理的繁体字,子集公理的繁体字转换对照,子集公理的简繁体互转,子集公理的繁体字怎么写,子集公理繁体字,子集公理繁体笔画,子集公理的简繁体字怎么写,子集公理简体繁体转换,怎么写子集公理的繁体字,子集公理的繁体怎么写等子集公理繁体字在线查询。