一方、(nbg)は、有限個の公理で公理化することができる。