第二节 非隐喻进路：数学类比的形式化