为数学化寻找基点