数学中的明朗化是什么