数学命题学习的一般理论