Introduction¶

Sets and Classes¶

简单介绍了一点最基础的集合论，采用的体系是 NBG 公理。

依靠公理性基本概念（primitive notions），即 class, membership, equality 和一阶谓词演算（the first-order predicate calculus）加以描述。

外延公理（the axiom of extensionality）和类构造公理（the axiom of class formation）。

集合（set）：A class \(A\) is defined to be a set if and only if there exists a class \(B\) such that \(A \in B\).

Proper class: A class that is not a set.