Axiomatizable class

From Free net encyclopedia