波斯纳定理名词解释是什么时候学的