“表示两个比相等的式子叫做比例”，这个思维形式属于