数学的抽象性