基本解释公理化同根派生 英汉例句This is the precise sense in which NGB can be finitely axiomatized. 公理如下，不带类字样的公理是关于集合的。axiomatized class 公理化类Axiomat 盒式显微镜