数学の抽象化って抽象化ではないよな