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