子集公理造句

例句与造句

1. 注：(ZF3)可以由其他公理导出，所以有些场合不出现这条公理，与之类似的是“子集公理”。
2. 分类公理（或子集公理）：给出任何集合及命题P(x)，存在着一个原来集合的子集包含而且只包含使P(x)成立的元素。
3. 利用无穷性公理和子集公理（见子集公理模式）可以定义w为最小的归纳集，一旦有了w就可以证明归纳原则和递归定理，然后就可以递归地定义自然数上的各种运算。
4. 用子集公理造句挺难的，这是一个万能造句的方法