NBG is presented here as a two-sorted theory, with lower case letters denoting variables ranging over sets, and upper case letters denoting variables ranging over classes.

• 在本节中提供一个 NBG 的公理化(实际上有两个不同的公理化，第二个精致了第一个)。