主题
Search

子集的公理

对于任何集合论公式 f(x,t_1,t_2,...,t_n)，

( forall t_1)( forall t_2)...( forall t_n)( forall A)( exists B)( forall x)(x in B <==> x in A ^ f(x,t_1,...,t_n)).

换句话说，对于任何公式和集合 A，都存在 子集 A，该子集恰好由满足该公式的那些元素组成。

此条目由 Nicolas Bray 贡献

使用 Wolfram|Alpha 探索

请引用为

Bray, Nicolas. "子集的公理。" 来自 MathWorld--Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/AxiomsofSubsets.html

主题分类