公理化
This is the precise sense in which NGB can be finitely axiomatized. 公理如下,不帶類字樣的公理是關(guān)于集合的。
Axiomat 盒式顯微鏡