展开 弗赖登塔尔数学化的一个实