集合论

Class

1. 定义: 类 分为 真类 和 集合
2. 外延法: 类 $s = \lbrace a, b, c \rbrace$ 为 集合
3. 内涵法: 类 $s = \lbrace x \space | \space x \notin x \rbrace$ 为 真类

Set:

1. 定义: 确定 相异 之物之 总体
2. 外延法: 类 $s = \lbrace a, b, c \rbrace$ 为 集合
3. 内涵法: 类 $s = \lbrace x \space | x \in R \space \land \space x \gt 0 \rbrace$ 为 集合

ZF

Def

ZF

1. Extension

2. Empty

3. Pairing

4. Power

5. Union

6. Separation

7. Replacement

8. Infinity

9. Regularity

Axiom of Choice

Axiom of choice

Well Order

Maximal Principle