原子模型彭罗斯是用数学中的什么方法证明奇点必然存在