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