归纳与抽象