数学类比推理的类型