This is the precise sense in which NGB can be finitely axiomatized.

• 公理如下，不带类字样的公理是关于集合的。