关于数学命题的几个设想