公理化
This is the precise sense in which NGB can be finitely axiomatized. 公理如下，不带类字样的公理是关于集合的。
Axiomat 盒式显微镜
