“自然数就是非空的等价集合类的共同特征”。这种数学概念抽象性的表现是