未解的命题会重复出现 直到你给出了新的答案