扩展性推理主要有归纳推理和_____________两种类型。